@hackage MiniAgda0.2022.3.11
A toy dependently typed programming language with type-based termination.
Categories
License
MIT
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…
MiniAgda
A prototypical dependently typed languages with sized types and variances.
Installation
Requires ghc and cabal, for instance via the Haskell Platform or via ghcup.
In a shell, type
cabal update
cabal 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.