GitHub - mstewartgallus/jsystemf: Just a little toy System F interpreter, doesn't even have proper generics yet.

Name	Name	Last commit message	Last commit date
Latest commit mstewartgallus Fixup CPS with a separate catch/throw desugaring phase Jun 22, 2020 94d477e · Jun 22, 2020 History 168 Commits
peacod-interpreter	peacod-interpreter	Hack in Prolog	Jun 6, 2020
peacod-plato	peacod-plato	Fixup CPS with a separate catch/throw desugaring phase	Jun 22, 2020
peacod	peacod	Fixup CPS with a separate catch/throw desugaring phase	Jun 22, 2020
.gitignore	.gitignore	Initial Commit of my System F interpreter	May 7, 2020
peacod.iml	peacod.iml	Hack in Prolog	Jun 6, 2020