search

bor0 / gidti

Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76 stars 4 forks source link

[3.1] Lambda calculus intro #8

Closed bor0 closed 6 years ago

bor0 commented 6 years ago

Explain lambda calculus better, before giving its formal definition.