Package: agda-cubical @ 0.5

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

License

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/mlm0dhw1fi055ir1pj04xvwac5r8nslk-agda-cubical-0.5.drv	Succeeded
`i686-linux`		/gnu/store/ibwrg0gclpxpb2nlw9a17qjlg7p39xc4-agda-cubical-0.5.drv	Succeeded

Linter	Message	Location
source-file-name Validate file names of sources	the source file name should contain the package name	gnu/packages/agda.scm (line: 268, column: 12)