Source code

fudgets-0.18.4.tar.gz (2023-06-27)

This is a Cabal package containing a snapshot of Fudgets that has been tested with 14 different versions of GHC from 7.4.1 to 9.6.2.

alfa-201026.tar.gz

A 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, a simple cabal install command 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).