~bfiedler/typing-is-hard

Repository of typing-is-hard.ch

#9 Add language Ada/SPARK

~bfiedler commented on typing-is-hard todo

23 days ago

#13 Add definition for System F

~bfiedler commented on typing-is-hard todo

23 days ago

#Typing is Hard

Markdown source and pandoc "build script" for typing-is-hard.ch.

sometime March/April 2021: I've decided that paying for this vanity domain is not really worth it, so this domain will expire sometime July or August 2021. I've added a permanent redirect to the new location, and you can find the new and updated sources here.