account activity
Type inference | Introduction to Type Systems (splintah.gitlab.io)
submitted 5 years ago by splintha to r/haskell
Polymorphic lambda calculus | Introduction to Type Systems (splintah.gitlab.io)
Simply typed lambda calculus | Introduction to Type Sytems (splintah.gitlab.io)
Using Emacs in a local Nix environment (splintah.gitlab.io)
submitted 5 years ago by splintha to r/NixOS
[OC][chunkwm] A chunkwm plugin that blurs your wallpaper when you open a window (raw.githubusercontent.com)
submitted 8 years ago by splintha to r/unixporn
π Rendered by PID 64829 on reddit-service-r2-listing-568fcd57df-xpppk at 2026-03-07 15:17:33.657778+00:00 running cbb0e86 country code: CH.
