Free Monads and useful constructions to work with them
Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause
This repository is not active