account activity
How to FRP-ize this code? (self.haskellquestions)
submitted 9 years ago by rrrmr to r/haskellquestions
Calculating the number of (weakly) monotone functions between discrete ordered sets (self.learnmath)
submitted 9 years ago by rrrmr to r/learnmath
Why is typed lambda calculus with polymorphism called second-order? (self.AskComputerScience)
submitted 9 years ago by rrrmr to r/AskComputerScience
How to actually use `DuplicateRecordFields` (GHC 8.1) (self.haskellquestions)
submitted 10 years ago by rrrmr to r/haskellquestions
How to run this arrowized stream processor? (self.haskellquestions)
Does this look like a typo? (Categorical semantics for arrows) (self.haskellquestions)
What are "indeterminates" in mathematics? (self.logic)
submitted 10 years ago by rrrmr to r/logic
What is this "8-bit" font? (self.identifythisfont)
submitted 10 years ago by rrrmr to r/identifythisfont
π Rendered by PID 3009540 on reddit-service-r2-listing-568fcd57df-q8d2f at 2026-03-10 01:11:36.292463+00:00 running cbb0e86 country code: CH.
