yellowsquid/idris-soat.git/.gitignore, branch refactor/setoids
[no description]
http://git.yellowsquid.uk/yellowsquid/idris-soat.git/atom?h=refactor%2Fsetoids
2022-11-22T18:57:49Z
Ignore build directory.
2022-11-22T18:57:49Z
Greg Brown
greg.brown01@ed.ac.uk
2022-11-22T18:57:49Z
urn:sha1:e2fb54766737243020b7c90ab83b6c690972549d