nixpkgs/pkgs/development/libraries/agda/ at 22.05-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 22.05-pre 8 folders

agda-categories

agdaPackages.agda-categories: 0.1.6 -> 0.1.7.1

4 years ago

Merge pull request #100351 from turion/dev_add_agdarsec

4 years ago

agdaPackages.agdarsec: Init at 0.4.1

5 years ago

Agda cubical 2.6.2 fix (#131280)

4 years ago

functional-linear-algebra

agdaPackages.functional-linear-algebra 0.3->0.4

4 years ago

Agda: mark packages as broken until 2.6.2 compatible release is made

4 years ago

treewide: remove stdenv where not needed

5 years ago

standard-library

agdaPackages.standard-library: 1.6 -> 1.7

4 years ago