God, inspired by the barber paradox, wanted to erase the existence of turtles by plotting a paradox. “Turtles cannot exist!” he said, “because who then shaves the barber turtle’s head?” All the turtles synchronously blinked once, and moved on with their lives. The omniscient god saw his mistake at once; turtles don’t have hair.
Hello,
I made this blog post about the curry-howard isomorphism in Haskell. Check it out :)
This would be great to post on /c/formal_methods which was just created!