Hey there! My name is Mekeor Melire, welcome to my hobby website. I'm a devoted dilettante of dependent type theory; a political proponent of cybernetic council communism; and an enthusiast of Emacs. Feel free to reach out to me via e-mail to mekeor at posteo.de or via IRC to mekeor at Libera.Chat.