{"name":"Djinn","portdir":"devel/Djinn","version":"2006-07-21","license":"unknown","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/augustss/djinn","description":"Haskell Theorem Prover","long_description":"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.","active":true,"categories":["devel"],"maintainers":[],"variants":["universal"],"dependencies":[{"type":"build","ports":["ghc","clang-18"]}],"depends_on":[]}