Videos @lemmy.world PhilipTheBucket @ponder.cat 11mo ago What is plus times plus? A short introduction to the lambda calculus