Skip to content

eperdew/System-F

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

32 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

A System F interpreter written in rust

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published