GitHub - stefan-hoeck/idris2-elab-util: Utilities and documentation for exploring idirs2's new elaborator reflection. - discu.eu

Linking pages

GitHub - stefan-hoeck/idris2-dom-mvc: Single Page Web Applications in Idris https://github.com/stefan-hoeck/idris2-dom-mvc 1 comment

Linked pages

generics-sop: Generic Programming using True Sums of Products https://hackage.haskell.org/package/generics-sop 4 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - stefan-hoeck/idris2-elab-util: Utilities and documentation for exploring idirs2's new elaborator reflection.

See how to search.

Submit link to: