Toying with ideas from Word Processing in Groups in Agda.
yurrriq / word-processing-in-groups Goto Github PK
View Code? Open in Web Editor NEW:book: Word Processing in Groups
Home Page: http://yurrriq.codes/word-processing-in-groups/WPiG.pdf
License: The Unlicense