Default email b6d97fd731 Project import generated by Copybara. ... GitOrigin-RevId: be0b453d7c7eee2090962c9a83749b024ff9acf5		2020-12-25 14:55:36 +01:00
..
default.nix	Project import generated by Copybara.	2020-12-25 14:55:36 +01:00
Fix-to-string.agda-to-compile-with-Agda-2.6.1.patch	Project import generated by Copybara.	2020-12-25 14:55:36 +01:00