#13 Add definition for System F
~mwzzhang filed ticket on typing-is-hard todo
#12 Decidability of Idris type-checking
~lnde3 filed ticket on typing-is-hard todo
Markdown source and pandoc "build script" for typing-is-hard.ch.