~bfiedler/website

ref: 41bca2dfdf1fd48ad23cc6a911b3c8240df64a6e website/static/typing-is-hard.html -rw-r--r-- 16.7 KiB
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