v 2006-07-21

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.

To install Djinn, paste this in macOS terminal after installing MacPorts

sudo port install Djinn

Add to my watchlist

Installations 0
Requested Installations 0