~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

30a0547 importer/viseca: Do not import temporary transactions

13 days ago via lutils

07da4eb fmt: Traverse directories recursively

a month ago via lutils
~bfiedler/lutils

New git repository added

a month ago via lutils

e075509 Add html chess board

a month ago via website

3077a90 delete draft status

2 months ago via website

238747f Update toc as well

3 months ago via website

dc00f24 fix orientation of angle brackets

3 months ago via website

41bca2d Add some more information about System F

3 months ago via website

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

3 months ago via website

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

3 months ago via website

d452cc7 Haskell, extensions: Remove mentions of System F

3 months ago via website

459f4ab Fix explanation for why OCaml type checking is undecidable

3 months ago via website

6abc13d words

4 months ago via website

30010b5 Add small detail about scrolling behaviour

4 months ago via website

c65ef4e words

4 months ago via website
1 / 8