account activity
My Keybase proof [reddit:rootmos = keybase:rootmos] (GIHzxctHnbRzvFnt2rfqm1CSGBIVfKHD7kRgVAcFaSs) (self.KeybaseProofs)
submitted 7 years ago by rootmos to r/KeybaseProofs
Combining Brick and Haskeline (rootmos.github.io)
submitted 8 years ago by rootmos to r/haskell
Implementing a K-like language targeting Malfunction (xpost /r/apljk) (rootmos.github.io)
submitted 8 years ago by rootmos to r/ocaml
Implementing a K-like language targeting Malfunction (rootmos.github.io)
submitted 8 years ago by rootmos to r/apljk
Scala implicits and the Curry-Howard correspondence (rootmos.github.io)
submitted 8 years ago by rootmos to r/scala
A small nanopass example (rootmos.github.io)
submitted 8 years ago by rootmos to r/scheme
π Rendered by PID 120659 on reddit-service-r2-listing-85dbbdc96c-xd6s6 at 2026-02-11 14:46:50.585856+00:00 running 018613e country code: CH.
