/SimPLambda

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

Primary LanguageOCaml

This repository is not active