~bfiedler

website

Website hosted on 3fx.ch and related domains

typing-is-hard

Repository of typing-is-hard.ch

go-threema

Go bindings to the Threema Gateway

cas

Celeste "auto-splitter" for Linux, because LiveSplit isn't there yet.

Activity

3077a90 delete draft status

6 days ago via website

238747f Update toc as well

23 days ago via website

dc00f24 fix orientation of angle brackets

23 days ago via website

41bca2d Add some more information about System F

23 days ago via website

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

23 days ago via website

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

23 days ago via website

d452cc7 Haskell, extensions: Remove mentions of System F

23 days ago via website

459f4ab Fix explanation for why OCaml type checking is undecidable

23 days ago via website

6abc13d words

a month ago via website

30010b5 Add small detail about scrolling behaviour

a month ago via website

c65ef4e words

a month ago via website

9d7b907 fix date wrapping on chrome-based browsers

a month ago via website

69b34b9 webkit: fix code breaking lines

a month ago via website

29e3603 Fix date wrapping on webkit

a month ago via website

c07cbf7 Add new post

a month ago via website
1 / 8