Geeks
Gradual-Typing
/
Grift
A compiler for the gradually typed lambda calculus
Primary Language
C
MIT License
MIT
Grift GitHub
Markdown
Readme
40
Issues
76
Stargazers
5
Watchers
Watchers
akuhlens
Semgrep
bennn
University of Utah
capfredf
PLT @ where Dan-scheme is taught
deyaaeldeen
@microsoft
jhcloos