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: 270, column: 2)

License

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/kq9skh1g8paf5m89j4594a295idi1khf-agda-cubical-0.7.drv	Canceled Canceled Succeeded
`i686-linux`		/gnu/store/29jkps8p0xinf44i4hlq78nwg62ksxvs-agda-cubical-0.7.drv	Canceled Canceled Canceled Scheduled

Linter	Message	Location
No lint warnings ✓