GitHub - pbevin/systemt: Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
elm-package.json		elm-package.json
elm.js		elm.js
index.html		index.html
main.elm		main.elm
syst.elm		syst.elm

About

Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.

No releases published

No packages published