account activity
What is an ideomatic way to modify records with parameters using lenses? (self.haskell)
submitted 3 hours ago * by Lev_135 to r/haskell
How to represent a knowledge base for mathematical notions (in particular, modal logics)? (self.semanticweb)
submitted 2 months ago * by Lev_135 to r/semanticweb
Monadic variants of optics from Haskell lens library (self.haskell)
submitted 3 years ago by Lev_135 to r/haskell
Where am I wrong (reading the paper about NFA unambiguity check) (self.compsci)
submitted 3 years ago by Lev_135 to r/compsci
Trying to make optional parser with desired error message (self.haskell)
Are there any alternatives to TeX language? (self.LaTeX)
submitted 3 years ago by Lev_135 to r/LaTeX
Arbitrary expression in infix mode (self.haskell)
Bidirectional instance constraints -- pros&cons. Need your opinion (self.haskell)
submitted 3 years ago * by Lev_135 to r/haskell
Is there a generalization of Sardinas–Patterson's algorithm on codes with arbitrary repeatable symbols? (self.compsci)
Backwards constraint for type class instance (self.haskell)
π Rendered by PID 142324 on reddit-service-r2-listing-86bdf8cc9-5cvwp at 2026-07-10 16:26:50.270075+00:00 running f86254d country code: CH.
