| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| alfa-201026.tar.gz | 2020-10-26 20:57 | 449K |
| fudgets-0.18.3.1.tar.gz | 2022-03-14 12:33 | 250K |
| fudgets-0.18.3.2.tar.gz | 2022-08-04 15:18 | 250K |
| fudgets-201103.tar.gz | 2020-11-03 18:55 | 250K |
| old/ | 2022-08-04 17:49 | - |
| pesca-4.0.2.tar.gz | 2017-08-27 23:22 | 36K |
alfa-201026.tar.gzA Cabal package containing a version of Alfa that can be compiled with current tools. It includes the Agda proof engine, GF for natural language support, and the Pesca automatic theorem prover. After installing
fudgets-0.18.2 cabal installcommand should be enough to install it. (Tested with ghc-7.6.3, ghc-7.10.2, ghc-8.4.4, ghc-8.6.5 and ghc-8.10.1.)There is also a binary installer package for macOS.
fudgets-0.18.3.2.tar.gz(2022-08-05)- This is a Cabal package containing a snapshot of Fudgets that compiles with at least ghc-7.6.3, ghc-7.10.2, ghc-8.4.4, ghc-8.6.5, ghc-8.8.4, ghc-8.10.1 and ghc-9.4.2.
- It runs natively on Apple Silicon (it compiles with ghc-9.2.4-aarch64-apple-darwin).
fudgets-0.18.3.1.tar.gz(2022-03-14)- This is a Cabal package containing a snapshot of Fudgets that compiles with at least ghc-7.6.3, ghc-7.10.2, ghc-8.4.4, ghc-8.6.5, ghc-8.8.4, ghc-8.10.1 and ghc-9.2.2.
- This is the first version that runs natively on Apple Silicon (it compiles with ghc-9.2.2-aarch64-apple-darwin).
fudgets-201103.tar.gz(fudgets-0.18.2)- A Cabal package containing a snapshot of Fudgets that compiles with at least ghc-7.6.3, ghc-7.10.2, ghc-8.4.4, ghc-8.6.5 and ghc-8.10.1.
- It no longer depends on hbc-library, so a simple
cabal installcommand should be enough to install it. - GenDoc, the program that generates the documentation, has been revived and the Fudget Library Reference Manual has been updated to match the current sources.
- Various cleanup and fixes. Removed some obsolete modules.
- See old for info on previous snapshots of Fudgets.