agda-unimath
agda-unimath copied to clipboard
Factor metafiles to a subdirectory
We have a growing collection of metafiles that are polluting the root folder of the repository. I think it would be best if we moved them to a subdirectory. This would also make them a little more maintainable, as we won't have to maintain a list in the Makefile.