andreasabel / aplas14 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 285 Commits
aplas14		aplas14
src		src
README.md		README.md

Repository files navigation

aplas14

Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC

aplas14/: Literate Agda and LaTeX of APLAS 2014 paper (Andreas Abel and Andrea Vezzosi)
src/: Agda sources

Builds with Agda 2.6.2 and its standard-library 1.7.

About

Agda and LaTeX sources for APLAS 2014 paper on strong normalization of guarded STLC

Report repository

Releases

Packages

No packages published

Contributors 2

Languages

Agda 56.6%
TeX 42.4%
Other 1.0%