re-xyr / hina

Very simple, explicit parameters-only dependent type elaborator.
10Updated 4 years ago

Alternatives and similar repositories for hina:

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