GitHub - nomeata/ghc-justdoit: A magic typeclass that just does it - discu.eu

Reddit

ghc-justdoit: a GHC plugin to write the code for you (using LJT proof search) https://github.com/nomeata/ghc-justdoit 13 comments 3/2/2018 haskell

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 - nomeata/ghc-justdoit: A magic typeclass that just does it

See how to search.

Submit link to: