Home

Awesome

This is an alternative to the Agda standard library that focuses more on programming and type checking time performance.

Notable features:

This is very much work in progress, so expect major changes. In particular the proof-side of things is very much unstructured.