agda / ooAgdaLinks

Interactive and object-oriented programming in Agda using coinductive types
23Updated 6 months ago

Alternatives and similar repositories for ooAgda

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

Sorting: