Hey, I´m Evan. Welcome to my slice of the internet.
Thon: a tiny polymorphism functional language with existential and recursive types
I bought a key holder thatś NP hard to rearrange
It´s halting problems all the way down
Traversing a tree where every child has infinitely many children