https://type-theory.dev/main 1.0 https://type-theory.dev/about 0.5 https://type-theory.dev/docs 0.8 https://type-theory.dev/docs/rules 0.6 https://type-theory.dev/docs/grammar 0.6 https://type-theory.dev/docs/stlc-basics 0.7 https://type-theory.dev/docs/typing-derivations 0.7 https://type-theory.dev/docs/evaluation 0.7 https://type-theory.dev/docs/curry-howard 0.7 https://type-theory.dev/docs/data-types 0.7 https://type-theory.dev/docs/iso-recursive-types 0.7 https://type-theory.dev/docs/recursion 0.7 https://type-theory.dev/docs/let-polymorphism 0.7 https://type-theory.dev/docs/system-f 0.7 https://type-theory.dev/docs/system-f-omega 0.7 https://type-theory.dev/docs/system-lambda-p 0.7