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