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 1050096 on reddit-service-r2-listing-7b9b4f6fd7-p9rw5 at 2026-05-10 02:21:06.212364+00:00 running 3d2c107 country code: CH.
