4 commits

Author	SHA1	Message	Date
Griatch	76761825d0	Fixed all errors in doc building	2020-07-11 00:27:10 +02:00
Griatch	c54625b305	Made a lot of progress on the search tutorial	2020-07-08 00:14:37 +02:00
Griatch	a8f56f4370	Finished typeclass docs	2020-07-06 00:05:15 +02:00
Griatch	a515ececff	Further updates	2020-07-03 22:32:50 +02:00