caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Philipp Hausmann	2bb4b8af92 [ docs ] Remove user manual back to it's own folder.	преди 9 години
Philipp Hausmann	c7d609af79 [ docs ] Move everything up one level.	преди 9 години
Philipp Hausmann	d9a732cd84 [ docs ] Add sphinx-based user manual infrastructure.	преди 9 години