@hackage MiniAgda0.2020.4.14
A toy dependently typed programming language with type-based termination.
Categories
License
LicenseRef-OtherLicense
Maintainer
Andreas Abel <andreas.abel@cse.gu.se>
Links
Versions
- 0.2025.7.23 Wed, 23 Jul 2025
- 0.2022.3.11 Wed, 23 Jul 2025
- 0.2020.4.14 Tue, 14 Apr 2020
- 0.2019.12.13 Fri, 13 Dec 2019
- 0.2019.3.29 Sat, 30 Mar 2019
- 0.2018.11.6 Fri, 29 Mar 2019 Show all…
Installation
Tested Compilers
Dependencies (0)
- array >=0.3 && <0.6
- base >=4.6 && <5
- containers >=0.3 && <0.7
- haskell-src-exts >=1.21 && <1.22
- mtl >=2.2.2 && <2.3
- pretty >=1.0 && <1.2 Show all…
Dependents (1)
@hackage/acme-everything
MiniAgda
A prototypical dependently typed languages with sized types and variances.
Installation
Requires GHC and cabal, for instance via the Haskell Platform. In a shell, type
cabal v1-update
cabal v1-install alex
cabal v1-install happy
cabal v1-install MiniAgda
To build MiniAgda from source, replace the last command with
make
Examples
See directories test/succeed/ and examples/.
Some examples are commented on the (dormant) MiniAgda blog.