Post #1388148

I know it is probably well-known in my circles but for anyone who is interested in compiler design, proof assistants and types https://counterexamples.org/ is an absolutely delightful read. I was so full with glee reading it for the first time.