anqur / lyzhLinks

A well-documented minimal dependently-typed language for my friend Lyzh
β˜†27Updated 3 months ago

Alternatives and similar repositories for lyzh

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

Sorting: