andreasabel / miniagdaLinks

A prototypical dependently typed languages with sized types and variances
108Updated 2 years ago

Alternatives and similar repositories for miniagda

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

Sorting: