/representing-monads

Trying to understand Filinski's paper by writing code

Primary LanguageOCaml

No issues in this repository yet.