A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
docker
src
tools
travis
.gitignore
.travis.yml
LICENSE
Makefile
README.md
possible-extensions
updated-reviews-paper75-annotated.txt

README.md

generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Typechecking

Travis Status

To check this development, you'll need:

  • Agda 2.5.4.2
  • Agda's Standard Library 0.17