tangled
alpha
login
or
join now
tjh.dev
/
nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
libraries
/
agda
/
at
devShellTools-shell
11 folders
1lab
treewide: conform descriptions to the standards
5 months ago
agda-categories
Revert "treewide: replace `rev` with `tag`"
9 months ago
agda-prelude
treewide: remove unused rec expressions
10 months ago
agdarsec
Revert "treewide: replace `rev` with `tag`"
9 months ago
cubical
treewide: conform descriptions to the standards
5 months ago
cubical-mini
treewide: conform descriptions to the standards
5 months ago
functional-linear-algebra
Revert "treewide: replace `rev` with `tag`"
9 months ago
generic
treewide: conform descriptions to the standards
5 months ago
generics
Revert "treewide: replace `rev` with `tag`"
9 months ago
iowa-stdlib
Revert "treewide: replace `rev` with `tag`"
9 months ago
standard-library
Revert "treewide: replace `rev` with `tag`"
9 months ago
tjh.dev