About monoide

lurker; guix and emacs full time user; (not yet licensed) radio amateur; type and category theory enthusiast; communist

Lists

Timeline

{username} has no activity yet