/SimPLambda

Mostly follows https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/interp/inference.html.

Primary LanguageOCaml

No issues in this repository yet.