/cs242-lambda-pi

simple λΠ-interpreter with vector type

Primary LanguageOCaml

Stargazers