Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.
Primary LanguageJavaScript
This repository is not active