~bfiedler/website

ref: 238747f86bfca3693601939eae0bffa808bc65b5 website/static/typing-is-hard.html -rw-r--r-- 16.8 KiB
238747f8 — Ben Fiedler 3 months ago
Update toc as well
dc00f24b — Ben Fiedler 3 months ago
fix orientation of angle brackets
41bca2df — Ben Fiedler 3 months ago
Add some more information about System F
27e2cece — Ben Fiedler 3 months ago
Add a short block explaining what System F is and why it is useful
8ef5346f — Ben Fiedler 3 months ago
Add explanation why decidability of Idris type checking is surprising
d452cc7a — Ben Fiedler 3 months ago
Haskell, extensions: Remove mentions of System F

Type checking may be deciable depending on implementation of System F,
while type inference is always undecidable.
459f4ab6 — Ben Fiedler 3 months ago
Fix explanation for why OCaml type checking is undecidable

Ref: https://todo.sr.ht/~bfiedler/typing-is-hard/10
8a096ff6 — Ben Fiedler 9 months ago
Add copy of typing-is-hard.ch