Standard library for Cubical Agda
A standard library for Cubical Agda, comparable to agda-stdlib but using cubical methods.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/9mp764cdwmk40z727jr6ggpnp83bh374-agda-cubical-0.7.drv | ||
i686-linux | /gnu/store/3qqxbkpqnb54cxnzy9gczmccgl5ywz4p-agda-cubical-0.7.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |