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

See directories test/succeed/ and examples/.

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

Name		Name	Last commit message	Last commit date
Latest commit History 267 Commits
.github/workflows		.github/workflows
doc		doc
examples		examples
hcar		hcar
lib		lib
slides		slides
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG		CHANGELOG
LICENSE		LICENSE
Makefile		Makefile
MiniAgda.cabal		MiniAgda.cabal
README.md		README.md