Word Processing in Groups
Toying with ideas from Word Processing in Groups in Agda.
:book: Word Processing in Groups
Toying with ideas from Word Processing in Groups in Agda.
:book: Word Processing in Groups
http://yurrriq.codes/word-processing-in-groups/WPiG.pdf
The Unlicense