~bfiedler/website

Website hosted on 3fx.ch and related domains

e075509 Add html chess board

16 days ago

3077a90 delete draft status

a month ago
~bfiedler/typing-is-hard

New ticket tracker added

2 months ago

238747f Update toc as well

2 months ago

dc00f24 fix orientation of angle brackets

2 months ago

41bca2d Add some more information about System F

2 months ago

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

2 months ago

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

2 months ago

d452cc7 Haskell, extensions: Remove mentions of System F

2 months ago

459f4ab Fix explanation for why OCaml type checking is undecidable

2 months ago

6abc13d words

2 months ago

30010b5 Add small detail about scrolling behaviour

2 months ago

c65ef4e words

2 months ago

9d7b907 fix date wrapping on chrome-based browsers

2 months ago

69b34b9 webkit: fix code breaking lines

2 months ago
1 / 7