agda / agda-stdlibLinks

The Agda standard library
623Updated 2 weeks ago

Alternatives and similar repositories for agda-stdlib

Users that are interested in agda-stdlib are comparing it to the libraries listed below

Sorting: