Alle Optionen
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: djinn  ]

Paket: djinn (2014.9.7-9 und andere)

Links für djinn

Screenshot

Debian-Ressourcen:

Quellcode-Paket djinn herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

generate Haskell expressions from types

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.

Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.

Markierungen: GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu djinn

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

djinn herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
ppc64el 2014.9.7-9+b1 1.553,5 kB15.691,0 kB [Liste der Dateien]