djinn-lib and djinn-ghc
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Library extracted from Djinn sources and bridge for use with GHC API.
Library extracted from Djinn package
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Library extracted from Djinn sources and bridge for use with GHC API.
Library extracted from Djinn package