GitHub - vmchale/composition: Composition extras for Idris - discu.eu

Reddit

I ported various functions from Haskell's Data.Composition to Idris (trivial but quite convenient) https://github.com/vmchale/composition 3 comments 14/7/2017 idris

Linking pages

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

Linked pages

GitHub - joom/hezarfen: a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features https://github.com/joom/hezarfen 0 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - vmchale/composition: Composition extras for Idris

See how to search.

Submit link to: