idris-industry
practical efforts on correctness and beauty
Pinned Loading
Repositories
Showing 10 of 10 repositories
- idris-sdecl Public Forked from idris-lang/idris-emptycg
a working stackage-based empty code generator for idris (but it gives you sth,sdecl,which might be more friendly)
idris-industry/idris-sdecl’s past year of commit activity - idris-free Public Forked from clayrat/idris-free
Free Monads and useful constructions to work with them
idris-industry/idris-free’s past year of commit activity - derive Public Forked from infinisil/derive-all-the-instances
Work on type class deriving with elaboration reflection
idris-industry/derive’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…