lukegb/depot
1
0
Fork 0
Code Issues 1 Pull requests Projects Packages Activity Actions
depot/third_party/nixpkgs/pkgs/development/libraries/agda
History
Default email 9a250f78df Project import generated by Copybara. 
GitOrigin-RevId: 8536aeb4154f5458994080bc4cf542695c144739
2020-05-03 19:38:23 +02:00
..
agda-base Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
agda-iowa-stdlib Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
agda-prelude Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
Agda-Sheaves Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
agda-stdlib Project import generated by Copybara. 2020-05-03 19:38:23 +02:00
bitvector Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
categories Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
pretty Project import generated by Copybara. 2020-04-24 19:36:52 -04:00
TotalParserCombinators Project import generated by Copybara. 2020-04-24 19:36:52 -04:00