centra/brainix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
brainix/sources/nixpkgs/pkgs/development/libraries/agda
History
Exact
Soma Nakamura 3d1045ede9
Initial import
2026-02-13 17:06:24 +09:00
..
agda-base Initial import 2026-02-13 17:06:24 +09:00
agda-iowa-stdlib Initial import 2026-02-13 17:06:24 +09:00
agda-prelude Initial import 2026-02-13 17:06:24 +09:00
Agda-Sheaves Initial import 2026-02-13 17:06:24 +09:00
agda-stdlib Initial import 2026-02-13 17:06:24 +09:00
bitvector Initial import 2026-02-13 17:06:24 +09:00
categories Initial import 2026-02-13 17:06:24 +09:00
pretty Initial import 2026-02-13 17:06:24 +09:00
TotalParserCombinators Initial import 2026-02-13 17:06:24 +09:00