andreasabel / miniagdaLinks

A prototypical dependently typed languages with sized types and variances
111Updated last week

Alternatives and similar repositories for miniagda

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

Sorting: