3077a90 delete draft status

~bfiedler pushed to ~bfiedler/website git

238747f Update toc as well

~bfiedler pushed to ~bfiedler/website git

dc00f24 fix orientation of angle brackets

~bfiedler pushed to ~bfiedler/website git

41bca2d Add some more information about System F

~bfiedler pushed to ~bfiedler/website git

27e2cec Add a short block explaining what System F is and why it is useful

~bfiedler pushed to ~bfiedler/website git

8ef5346 Add explanation why decidability of Idris type checking is surprising

~bfiedler pushed to ~bfiedler/website git

d452cc7 Haskell, extensions: Remove mentions of System F

~bfiedler pushed to ~bfiedler/website git

459f4ab Fix explanation for why OCaml type checking is undecidable

~bfiedler pushed to ~bfiedler/website git

6abc13d words

~bfiedler pushed to ~bfiedler/website git

30010b5 Add small detail about scrolling behaviour

~bfiedler pushed to ~bfiedler/website git

c65ef4e words

~bfiedler pushed to ~bfiedler/website git

9d7b907 fix date wrapping on chrome-based browsers

~bfiedler pushed to ~bfiedler/website git

69b34b9 webkit: fix code breaking lines

~bfiedler pushed to ~bfiedler/website git

29e3603 Fix date wrapping on webkit

~bfiedler pushed to ~bfiedler/website git

c07cbf7 Add new post

~bfiedler pushed to ~bfiedler/website git