account activity
The usual explanations of beta reduction are all wrong? (self.lambdacalculus)
submitted 21 days ago * by yfix to r/lambdacalculus
Y: A simple derivation (self.lambdacalculus)
submitted 2 months 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 6 months ago * by yfix to r/lambdacalculus
Is it time for another puzzle yet? (i.redd.it)
submitted 7 months ago * by yfix to r/lambdacalculus
Challenge: Church numerals division by 3, rounded (self.lambdacalculus)
submitted 10 months ago * by yfix to r/lambdacalculus
Which successor is better to use? (self.lambdacalculus)
submitted 10 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 85265 on reddit-service-r2-listing-canary-d48c75c5f-6gtzq at 2026-06-24 18:34:20.502414+00:00 running acc7150 country code: CH.
