GitHub - pheymann/specdris: A test framework for Idris - discu.eu

Linking pages

GitHub - vmchale/recursion_schemes: Recursion schemes for Idris https://github.com/vmchale/recursion_schemes 2 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - pheymann/specdris: A test framework for Idris

See how to search.

Submit link to: