recursion_schemes

Recursion schemes for Idris

License

BSD 3-Clause "New" or "Revised" License

Recursion schemes for Idris

Creator

vmchale

Related apps

recursion

Recursion schemes in ATS

ATS9bsd-3-clause

3 years ago