~bfiedler/typing-is-hard

Repository of typing-is-hard.ch

#15 Rust isn't fully sound

~bfiedler commented on typing-is-hard todo

4 months ago

#15 Rust isn't fully sound

~vladp91 filed ticket on typing-is-hard todo

5 months ago

#14 [Zig][soundness and decidability]

~matu3ba filed ticket on typing-is-hard todo

6 months ago

#9 Add language Ada/SPARK

~bfiedler commented on typing-is-hard todo

11 months ago

#13 Add definition for System F

~bfiedler commented on typing-is-hard todo

11 months ago

#12 Decidability of Idris type-checking

~bfiedler commented on typing-is-hard todo

11 months ago

#11 Undecidability of Haskell type-checking

~bfiedler commented on typing-is-hard todo

11 months ago

#10 Undecidability of OCaml type-checking

~bfiedler commented on typing-is-hard todo

11 months ago

#13 Add definition for System F

~mwzzhang filed ticket on typing-is-hard todo

1 year, 3 months ago

#12 Decidability of Idris type-checking

~lnde3 filed ticket on typing-is-hard todo

1 year, 4 months ago

#11 Undecidability of Haskell type-checking

~lnde3 filed ticket on typing-is-hard todo

1 year, 4 months ago

#10 Undecidability of OCaml type-checking

~lnde3 filed ticket on typing-is-hard todo

1 year, 4 months ago

#9 Add language Ada/SPARK

~c0c0nut filed ticket on typing-is-hard todo

1 year, 4 months ago

#6 Expand TypeScript analysis

~bfiedler commented on typing-is-hard todo

1 year, 9 months ago

#8 fix typo in sentence about Algorithm W.

~bfiedler commented on typing-is-hard todo

1 year, 9 months ago
1 / 3