ionchy/SimPLambda
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Mostly follows https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/interp/inference.html.
This repository has been archived on 2025-08-08. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
1 commit 1 branch 0 tags 26 KiB
Find a file
Exact
Jonathan Chan 2bdbe440b0 Initial commit.
2025-08-08 14:40:52 -04:00
.gitignore Initial commit. 2025-08-08 14:40:52 -04:00
.merlin Initial commit. 2025-08-08 14:40:52 -04:00
.ocamlinit Initial commit. 2025-08-08 14:40:52 -04:00
ast.ml Initial commit. 2025-08-08 14:40:52 -04:00
collect.ml Initial commit. 2025-08-08 14:40:52 -04:00
errors.ml Initial commit. 2025-08-08 14:40:52 -04:00
eval.ml Initial commit. 2025-08-08 14:40:52 -04:00
lexer.mll Initial commit. 2025-08-08 14:40:52 -04:00
main.ml Initial commit. 2025-08-08 14:40:52 -04:00
Makefile Initial commit. 2025-08-08 14:40:52 -04:00
parser.mly Initial commit. 2025-08-08 14:40:52 -04:00
test.ml Initial commit. 2025-08-08 14:40:52 -04:00
unify.ml Initial commit. 2025-08-08 14:40:52 -04:00