This website requires JavaScript.
Explore
Help
Sign In
talexander
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Releases
Activity
nixpkgs
/
pkgs
/
development
/
libraries
/
agda
History
mivorasu
ee0866bddd
treewide: conform descriptions to the standards
2025-07-28 04:39:00 +00:00
..
1lab
…
agda-categories
…
agda-prelude
…
agdarsec
…
cubical
…
cubical-mini
…
functional-linear-algebra
…
generic
…
generics
…
iowa-stdlib
…
standard-library
…
