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
30010b5 Add small detail about scrolling behaviour
~bfiedler pushed to ~bfiedler/website git
9d7b907 fix date wrapping on chrome-based browsers
~bfiedler pushed to ~bfiedler/website git