Tag Directory > Djinn
- Home
- >>
Tags
We have 14 results for Djinn.
1Iblis - Wikipedia, the free encyclopedia 2 Citations
|
Genie - Wikipedia, the free encyclopedia 1 Citation
|
List of Arabic star names - Wikipedia, the free encyclopedia 1 Citation
|
1 Citation
|
1 Citation First video up and running, delicious.com
|
Al-Jinn - Wikipedia, the free encyclopedia 1 Citation
|
Jinn according to Quran and Sunnah 1 Citation
|
The World of Jinn and Its Secrets - IslamonLine.net - Ask The Scholar 1 Citation
|
1 Citation djinn: Generate Haskell code from a type
Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Versions 2008.1.18, 2008.8.10, 2009.2.1, 2009.2.8
Dependencies array, base (>=3 && <4), containers, editline, mtl, pretty
License BSD3
Author Lennart Augustsson
Maintainer lennart@augustsson.net
Category source-tools
Home page http://www.augustsson.net/Darcs/Djinn/
Executables djinn
Upload date Sun Feb 8 10:43:08 UTC 2009
Uploaded by LennartAugustsson
Built on ghc-6.10, delicious.com
|
Parallel Universes: Lost in the Bizarro World 1 Citation Nurse Chapel has an adventure., delicious.com
|