Package: agda-cubical @ 0.7

Synopsis

Standard library for Cubical Agda

Description

A standard library for Cubical Agda, comparable to agda-stdlib but using cubical methods.

Home page

https://github.com/agda/cubical

Location

gnu/packages/agda.scm (line: 267, column: 2)

License

System	Derivation	Build status
`x86_64-linux`	/gnu/store/6iq1wydkwi5b0a3v8kjhm0g4bjn2wrd8-agda-cubical-0.7.drv	Canceled Succeeded
`i686-linux`	/gnu/store/6l56bya98k39m1617i82y8k5xnykq2jl-agda-cubical-0.7.drv	Canceled Canceled Canceled Canceled Scheduled
`aarch64-linux`	/gnu/store/nplpw00pcn659m2rjpsz6fizyqfpwa2h-agda-cubical-0.7.drv	Canceled Canceled Canceled Canceled Succeeded

Linter	Message	Location
No lint warnings ✓