all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source:  ]

Package: djinn (2014.9.7-9) [debports]

Links for djinn

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

External Resources:

Similar packages:

Opret Haskell-udtryk fra typer

Djinn bruger en teoribeviser for intuitionistisk udsagnslogik til at oprette et Haskell-udtryk, når det gives en type.

Givet en type vil programmet udlede et udtryk af denne type, hvis et sådant findes. Hvis Djinn siger at typen ikke er realiserbar, er det fordi der ikke er et (samlet) udtryk for den givne type.

Other Packages Related to djinn

  • depends
  • recommends
  • suggests
  • enhances

Download djinn

Download for all available architectures
Architecture Package Size Installed Size Files
ppc64 (unofficial port) 1,435.8 kB17,387.0 kB [list of files]