GitHub - jmchapman/Big-step-Normalisation: Agda formalisations of some big-step normalization proofs

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
CombinatoryCalculus		CombinatoryCalculus
LambdaCalculus		LambdaCalculus
LogicalFramework		LogicalFramework
README		README

Repository files navigation

This repo contains recently updated formalisations of BSN
(https://cs.ioc.ee/~james/BSN.html). There are three directories for
different calculi in each directory is an Everything.agda. The best
documentation for this is my this which you can find at the url above.