User:Thuna
Jump to navigation
Jump to search
A typical math/CS undergrad, with an interest in constructive proofs, abstract math, and Emacs/Lisp in general. I don't think I'll (be able to) contribute much but hey, who knows?
You can usually find me at irc.libera.chat in #emacs by the name thuna`. Shoot me a message via MemoServ if I'm not online.