Lambda calculus - definition of head using Beta reduction

前端 未结 0 1724
野趣味
野趣味 2020-12-08 03:44

I am really struggling to understand lambda calculus, I am a student and amd floundering. How would you define HEAD such that :-

head [N; : : : ]---> *β N where

相关标签:
回答
  • 消灭零回复
提交回复
热议问题