niss(e) • it/they • 30s • main @g • avatar by @dzuk
even in idris i cannot escape singletons
i think i broke idris,what do i win
😏 cube time
love this funky lil dude
today gitea's syntax highlighting sunk to a new low by just highlighting the whole file as a string literal
graphic design is my passion
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.