Djinn (devel/Djinn) Add to my watchlist
Haskell Theorem ProverDjinn is a small program that takes a (Haskell) type and returns a function of that type, if one exists. In short, a Haskell type can be seen as a proposition in logic (i.e., the Curry-Howard isomorphism). Djinn proves or disproves the type proposition. If it manages the proof, it extracts a program from that. This is mainly interesting as part of the lambdabot.
Version: 2006-07-21 License: unknown
GitHub
| Maintainers | No Maintainer |
| Categories | devel |
| Homepage | https://github.com/augustss/djinn |
| Platforms | darwin |
| Variants |
|
"Djinn" depends on
build (2)
Ports that depend on "Djinn"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: cannot check if Djinn was updated (regex didn't match)
last updated: 1 day, 2 hours ago