Gradual-Typing / GriftView on GitHub
A compiler for the gradually typed lambda calculus
76Nov 4, 2021Updated 4 years ago

Alternatives and similar repositories for Grift

Users that are interested in Grift are comparing it to the libraries listed below

Sorting:

Are these results useful?