~bfiedler

lutils

Ledger utils for plaintext accounting

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

07da4eb fmt: Traverse directories recursively

16 days ago via lutils
~bfiedler/lutils

New git repository added

16 days ago via lutils

e075509 Add html chess board

27 days ago via website

3077a90 delete draft status

2 months ago via website

238747f Update toc as well

2 months ago via website

dc00f24 fix orientation of angle brackets

2 months ago via website

41bca2d Add some more information about System F

2 months ago via website

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

2 months ago via website

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

2 months ago via website

d452cc7 Haskell, extensions: Remove mentions of System F

2 months ago via website

459f4ab Fix explanation for why OCaml type checking is undecidable

2 months ago via website

6abc13d words

3 months ago via website

30010b5 Add small detail about scrolling behaviour

3 months ago via website

c65ef4e words

3 months ago via website

9d7b907 fix date wrapping on chrome-based browsers

3 months ago via website
1 / 8