agda-simplifier/.gitignore, branch master
[no description]
https://git.tomsmeding.com/agda-simplifier/atom/.gitignore?h=master
2023-04-04T18:56:49Z
Initial
2023-04-04T18:56:49Z
Tom Smeding
tom@tomsmeding.com
2023-04-04T18:56:49Z
urn:sha1:3df25408b6bc76745f03c824bd96d043561f3b45