Gradual-Typing / GriftLinks

A compiler for the gradually typed lambda calculus
75Updated 3 years ago

Alternatives and similar repositories for Grift

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

Sorting: