:book: Word Processing in Groups
Primary LanguageTeXThe UnlicenseUnlicense
Toying with ideas from Word Processing in Groups in Agda.