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.
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, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install Djinn
To see what files were installed by Djinn, run:
port contents Djinn
To later upgrade Djinn, run:
sudo port selfupdate && sudo port upgrade Djinn
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.