Ledger utils for plaintext accounting
Website hosted on 3fx.ch and related domains
Repository of typing-is-hard.ch
Go bindings to the Threema Gateway
Celeste "auto-splitter" for Linux, because LiveSplit isn't there yet.
30a0547 importer/viseca: Do not import temporary transactions
~bfiedler pushed to ~bfiedler/lutils git
07da4eb fmt: Traverse directories recursively
~bfiedler pushed to ~bfiedler/lutils git
dc00f24 fix orientation of angle brackets
~bfiedler pushed to ~bfiedler/website git
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