owo-lang / narc-rsView on GitHub
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
80Oct 5, 2020Updated 5 years ago

Alternatives and similar repositories for narc-rs

Users that are interested in narc-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?