DJINN(1)

DJINN(1) 💖

okay bestie, so this is the manual page for djinn, living in the General Commands Manual section, and it is genuinely one of the most iconic little tools out there, no cap.

✨ NAME ✨

djinn — generate Haskell expressions from types 🦋

🎀 SYNOPSIS 🎀

djinn [OPTION ... ] [FILE ... ]

💅 DESCRIPTION 💅

so like. Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when you give it a type. yes, for real. it's giving wizard behavior.

you hand it a type, and the program will deduce an expression of that type, if one exists. and if Djinn says the type is not realizable, that's because there is no (total) expression of the given type. like, it's not being rude, it's just facts. the type is simply not giving anything.

🌸 OPTIONS 🌸

• [-|+]multi — print multiple solutions. more than one answer? she's generous like that 💖
• [-|+]sorted — sort solutions. organized queen behavior 👑
• [-|+]debug — debug mode. for when you need to see the ~inner workings~ 🙈

⭐ SEE ALSO ⭐

the program provides interactive documentation. yep, it documents itself. main character energy fr fr.

💜 AUTHOR 💜

djinn was written by Lennart Augustsson and Thomas Johnsson. legends, honestly.

this manual page was written by Raúl Benencia for the Debian Project. ty for your service 🫶

and that's the whole vibe check bestie — this page was dated October 06 2013, brought to you by the Debian Project, and it's still slaying to this day. periodt. 💅✨