Djinn (devel/Djinn) Add to my watchlist

Haskell Theorem Prover

Djinn 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
Platforms darwin
  • universal (Build for multiple architectures)

"Djinn" depends on

build (2)

Ports that depend on "Djinn"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck error

Error: cannot check if Djinn was updated (regex didn't match)

last updated: 9 hours ago