@hackage MiniAgda0.2019.12.13

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.2022.3.11 Fri, 11 Mar 2022
- 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
- 0.2018.11.4 Fri, 29 Mar 2019

Installation
In your cabal file:
Tested Compilers
Dependencies (0)
- array >=0.3 && <0.6
- base >=4.6 && <5
- containers >=0.3 && <0.7
- mtl >=2.2.2 && <2.3
- haskell-src-exts >=1.21 && <1.22
- pretty >=1.0 && <1.2
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 update
  cabal install alex
  cabal install happy
  cabal install MiniAgda

Examples

See directories test/succeed/ and examples/.

Some examples are commented on the (dormant) MiniAgda blog.