- Portland, OR
- https://danilafe.com
- Joined on
2017-09-08
Block a user
7f8dae74ac
Adjust type output.
08503116ff
Mark some definitions as global, so as not to capture them.
a1d679a59d
No longer destroy the list of free variables.
4586bd0188
Check for free variables in the environment before generalizing.
a97b50f497
Add parsing of let/in.
c84ff11d0d
Add typechecking to let/in expressions.
e966e74487
Extract ordering functionality into definition group.
3865abfb4d
Add a struct to contain groups of mutually recursive definitions.
bff96ea690
Merge branch 'master' of https://dev.danilafe.com/CS-46X/dd
58a8efba39
Rename file to match file extension conventions
642d7f8a8f
Mention the automatic generation of READMEs.
28e3a7a068
Automatically generate custom table of contents.
a4a46c8330
Update submodule
febe73e925
Edit intro.
55d7c94564
Merge branch 'master' of https://dev.danilafe.com/CS-46X/archive
72c4dc7366
Refer people to the appendix.