jmchapman / Big-step-Normalisation

Agda formalisations of some big-step normalization proofs

Home Page:http://cs.ioc.ee/~james/BSN.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repo contains recently updated formalisations of BSN
(http://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.

About

Agda formalisations of some big-step normalization proofs

http://cs.ioc.ee/~james/BSN.html


Languages

Language:Agda 100.0%