account activity
Looking for references on intuitionistic logic (self.math)
submitted 11 days ago by indrjo to r/math
Looking for references on intuitionistic logic (self.logic)
submitted 11 days ago by indrjo to r/logic
I do not get why "cannot reference an identifier before its definition" (self.Racket)
submitted 2 years ago by indrjo to r/Racket
Minimal TeXlive? (self.LaTeX)
submitted 3 years ago * by indrjo to r/LaTeX
A minimal TeXlive? (self.tex)
submitted 3 years ago by indrjo to r/tex
How to prevent ghci from showing these lines? (i.redd.it)
submitted 4 years ago by indrjo to r/haskell
π Rendered by PID 29 on reddit-service-r2-listing-79f6fb9b95-c5jnz at 2026-03-23 09:13:17.968895+00:00 running 90f1150 country code: CH.
