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 8ac5e011d6 Project import generated by Copybara. 
GitOrigin-RevId: 2c3273caa153ee8eb5786bc8141b85b859e7efd7
2020-04-24 19:36:52 -04: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-04-24 19:36:52 -04: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