andreasabel / miniagdaLinks

A prototypical dependently typed languages with sized types and variances
111Updated 2 months ago

Alternatives and similar repositories for miniagda

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

Sorting: