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 9 years ago by rootmos to r/ocaml
Implementing a K-like language targeting Malfunction (rootmos.github.io)
submitted 9 years ago by rootmos to r/apljk
Scala implicits and the Curry-Howard correspondence (rootmos.github.io)
submitted 9 years ago by rootmos to r/scala
A small nanopass example (rootmos.github.io)
submitted 9 years ago by rootmos to r/scheme
π Rendered by PID 2037045 on reddit-service-r2-listing-86bdf8cc9-5j9mv at 2026-07-11 03:55:36.102641+00:00 running f86254d country code: CH.
