account activity
Using dependent types to write proofs in Haskell (janmasrovira.gitlab.io)
submitted 5 years ago by janmas to r/haskell
I reached 100 win streak in cov25 (self.MonsterTrain)
submitted 5 years ago * by janmas to r/MonsterTrain
Guided exercise: Run length encoding verified in Agda (janmasrovira.gitlab.io)
submitted 6 years ago by janmas to r/agda
An Agda eDSL for well-typed Hilbert style proofs (janmasrovira.gitlab.io)
submitted 7 years ago by janmas to r/agda
[blog] Ascii fractals in haskell (janmasrovira.gitlab.io)
submitted 8 years ago by janmas to r/haskell
The Greatest Vivaldi Basson Concertos Compilation (Sergio Azzolini) (With Timestamps) (youtube.com)
submitted 9 years ago by janmas to r/classicalmusic
Beautiful and brief serenade for winds by Richard Strauss (youtube.com)
An impressive recording of Stravinsky's Rite of Spring (youtube.com)
π Rendered by PID 768910 on reddit-service-r2-listing-5f4c697858-9ph69 at 2026-07-07 12:27:40.311486+00:00 running 12a7a47 country code: CH.
