djinn
Generate Haskell code from a type
Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 2025.2.21 | 1 | 2 d | details › |