All Git Users → RobertHarper

2 open source projects by RobertHarper

[ Open user page on Github ]

15-819 (Homotopy Type Theory) Lecture Notes

✭ 181

2. Tilt Compiler

Standard ML compiler based on typed intermediate languages.

✭ 40

1-2 of 2 user projects