Djinn (devel/Djinn) Add to my watchlist
Haskell Theorem ProverDjinn is a small program that takes a (Haskell) type and returns a function of that type, if one exists. In short, a Haskell type can be seen as a proposition in logic (i.e., the Curry-Howard isomorphism). Djinn proves or disproves the type proposition. If it manages the proof, it extracts a program from that. This is mainly interesting as part of the lambdabot.
Version: 2006-07-21 License: unknown
GitHub
7 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 14.arm64 | 14645 | 2024-01-27 14:39:40 | 0:01:08 | 4800 | failed install-port |
| 14 | 25364 | 2024-01-09 20:45:15 | 0:02:24 | 4198 | failed install-port |
| 13.arm64 | 11846 | 2023-03-09 10:01:03 | 0:00:54 | 4245 | failed install-port |
| 13 | 16203 | 2023-01-17 8:49:54 | 0:02:09 | 2282 | failed install-port |
| 12 | 19322 | 2022-01-24 9:43:08 | 0:02:45 | 3966 | failed install-port |
| 12.arm64 | 11818 | 2021-11-12 7:40:54 | 0:00:01 | 873 | failed install-dependencies |
| 10.15 | 19196 | 2020-01-04 23:32:35 | 0:02:10 | 1832 | failed install-port |