search

klequis / zz-haskell-notebook

Notes from learning Haskell
1 stars 0 forks source link

Lambda calculus #18

Open klequis opened 2 years ago

klequis commented 2 years ago

Lambda calculus is a formal system for expressing programs in terms of abstraction and application.