djinn 2014.9.7-9build6 source package in Ubuntu
Changelog
djinn (2014.9.7-9build6) lunar; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Fri, 09 Dec 2022 13:57:35 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Lunar
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | misc | |
| Noble | release | universe | misc | |
| Mantic | release | universe | misc | |
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| djinn_2014.9.7.orig.tar.gz | 21.7 KiB | 4ff8346fb9e93055b93db16a283312ee8bda122db8e54520c299da81d6df2ddd |
| djinn_2014.9.7-9build6.debian.tar.xz | 3.7 KiB | cffce77cc3e1fdaca2b21bff4ec9f11518e9112706d214b8e9a65d0fd22c1b5b |
| djinn_2014.9.7-9build6.dsc | 2.1 KiB | f760f24dbc258d1c1cac53e8bce12cdd90df8880b8cf4463ae46c543a4f35f53 |
Available diffs
- diff from 2014.9.7-9build5 to 2014.9.7-9build6 (326 bytes)
Binary packages built by this source
- djinn: 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.
