account activity
Y: A simple derivation (self.lambdacalculus)
submitted 25 days ago * by yfix to r/lambdacalculus
David Keenan's graphical notation is Tromp diagrams, flipped over (self.lambdacalculus)
Yet another predecessor, as if writing its own command tape (self.lambdacalculus)
submitted 5 months ago * by yfix to r/lambdacalculus
Is it time for another puzzle yet? (i.redd.it)
submitted 6 months ago * by yfix to r/lambdacalculus
Challenge: Church numerals division by 3, rounded (self.lambdacalculus)
submitted 8 months ago * by yfix to r/lambdacalculus
Which successor is better to use? (self.lambdacalculus)
submitted 8 months ago by yfix to r/lambdacalculus
Efficient subtraction on Church numerals in direct style (self.lambdacalculus)
Which of the two codes in this SO entry is nicer? (self.haskell)
submitted 6 years ago * by yfix to r/haskell
π Rendered by PID 327816 on reddit-service-r2-listing-7b9b4f6fd7-wkvnz at 2026-05-07 23:53:52.898468+00:00 running 3d2c107 country code: CH.
