anqurvanillapy / lyzh

A well-documented minimal dependently-typed language for my friend Lyzh
β˜†27Updated last month

Alternatives and similar repositories for lyzh:

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