~bfiedler/typing-is-hard

Repository of typing-is-hard.ch

#13 Add definition for System F

~mwzzhang filed ticket on typing-is-hard todo

27 days ago

#12 Decidability of Idris type-checking

~lnde3 filed ticket on typing-is-hard todo

a month ago

#Typing is Hard

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