search

jmchapman / Relative-Monads

Relative Monad Library for Agda
MIT License
24 stars 2 forks source link

Create LICENSE #4

Closed jmchapman closed 5 years ago