Billy Snikkers

All completely understandable. Thanks for starting the wiki! Of course I have a busy life too, but in the name of preventing hypocrisy I'll do my best to help out.

I've added these pages: [Contributing](https://github.com/UniMath/UniMath/wiki/Contributing) [Making a pull request](https://github.com/UniMath/UniMath/wiki/Making-a-pull-request) The first page is intended to be a directly linked in the front-page README in the "Contributing to UniMath" section. It...

Something missing from the contributing page is how to figure out *what* to contribute, how to navigate the library and find things that already exist, and where to put new...