nixpkgs/pkgs/development/libraries/agda/ at v206 · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at v206 9 folders

agda: migrate to haskell-ng, update and cleanup

10 years ago

TotalParserCombinators

agda: migrate to haskell-ng, update and cleanup

10 years ago

agda-base: new package

11 years ago

agda-iowa-stdlib

agda: the Iowa stdlib seems to be behind a private SVN now

10 years ago

agda-prelude: new package

11 years ago

agda-stdlib: update to 2.4.2.3 branch

10 years ago

agda: add bitvector

11 years ago

categories: mark as broken cc #9471

10 years ago

agda: migrate to haskell-ng, update and cleanup

10 years ago