A System F interpreter written in rust.
TODO: - Parser error recovery and file locations - REPL - let function syntax sugar (e.g. let f (x: t1) (y: t2): t3 = e) - More tests! - Update pretty-printing to be consistent with grammar for parser
-
Notifications
You must be signed in to change notification settings - Fork 0
A System F interpreter written in rust
License
eperdew/System-F
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A System F interpreter written in rust
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published