na0214 / snailLinks

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
13Updated 4 years ago

Alternatives and similar repositories for snail

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

Sorting: