#15 Rust isn't fully sound

~bfiedler commented on typing-is-hard todo

#15 Rust isn't fully sound

~vladp91 filed ticket on typing-is-hard todo

#14 [Zig][soundness and decidability]

~matu3ba filed ticket on typing-is-hard todo

#9 Add language Ada/SPARK

~bfiedler commented on typing-is-hard todo

#13 Add definition for System F

~bfiedler commented on typing-is-hard todo

#12 Decidability of Idris type-checking

~bfiedler commented on typing-is-hard todo

#11 Undecidability of Haskell type-checking

~bfiedler commented on typing-is-hard todo

#10 Undecidability of OCaml type-checking

~bfiedler commented on typing-is-hard todo

#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

#11 Undecidability of Haskell type-checking

~lnde3 filed ticket on typing-is-hard todo

#10 Undecidability of OCaml type-checking

~lnde3 filed ticket on typing-is-hard todo

#9 Add language Ada/SPARK

~c0c0nut filed ticket on typing-is-hard todo

#6 Expand TypeScript analysis

~bfiedler commented on typing-is-hard todo

#8 fix typo in sentence about Algorithm W.

~bfiedler commented on typing-is-hard todo