@hackage MiniAgda0.2019.3.29

A toy dependently typed programming language with type-based termination.

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 test/succeed/ and examples/