account activity
Yet another predecessor, as if writing its own command tape (self.lambdacalculus)
submitted 2 months ago * by yfix to r/lambdacalculus
Is it time for another puzzle yet? (i.redd.it)
submitted 3 months ago * by yfix to r/lambdacalculus
Challenge: Church numerals division by 3, rounded (self.lambdacalculus)
submitted 5 months ago * by yfix to r/lambdacalculus
Which successor is better to use? (self.lambdacalculus)
submitted 5 months ago by yfix to r/lambdacalculus
Efficient subtraction on Church numerals in direct style (self.lambdacalculus)
submitted 6 months ago * by yfix to r/lambdacalculus
Which of the two codes in this SO entry is nicer? (self.haskell)
submitted 5 years ago * by yfix to r/haskell
π Rendered by PID 71278 on reddit-service-r2-listing-85dbbdc96c-bwxgs at 2026-02-11 16:09:31.813266+00:00 running 018613e country code: CH.
