~bfiedler/typing-is-hard

Repository of typing-is-hard.ch

#9 Add language Ada/SPARK

~bfiedler commented on typing-is-hard todo

2 months ago

#13 Add definition for System F

~bfiedler commented on typing-is-hard todo

2 months ago

#12 Decidability of Idris type-checking

~bfiedler commented on typing-is-hard todo

2 months ago

#11 Undecidability of Haskell type-checking

~bfiedler commented on typing-is-hard todo

2 months ago

#10 Undecidability of OCaml type-checking

~bfiedler commented on typing-is-hard todo

2 months ago

#13 Add definition for System F

~mwzzhang filed ticket on typing-is-hard todo

6 months ago

#12 Decidability of Idris type-checking

~lnde3 filed ticket on typing-is-hard todo

6 months ago

#11 Undecidability of Haskell type-checking

~lnde3 filed ticket on typing-is-hard todo

6 months ago

#10 Undecidability of OCaml type-checking

~lnde3 filed ticket on typing-is-hard todo

6 months ago

#9 Add language Ada/SPARK

~c0c0nut filed ticket on typing-is-hard todo

6 months ago

#6 Expand TypeScript analysis

~bfiedler commented on typing-is-hard todo

1 year, 8 days ago

#8 fix typo in sentence about Algorithm W.

~bfiedler commented on typing-is-hard todo

1 year, 8 days ago

#8 fix typo in sentence about Algorithm W.

~dmarticus filed ticket on typing-is-hard todo

1 year, 14 days ago

#7 add Beads language to the list

~codingfiend filed ticket on typing-is-hard todo

1 year, 28 days ago

#6 Expand TypeScript analysis

~mbo filed ticket on typing-is-hard todo

1 year, 1 month ago
1 / 2