a guest Jul 21st, 2018 53 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
- BNF fyrir lambda calculus er / A BNF for lambda calculus is:
- <expr> ::= <constant>
- | <variable>
- | (<expr> <expr>)
- | (λ <variable>. <expr>)
- Skrifið fallasmið í lambda calculus fyrir fallið incn / Write a lambda abstraction in
- lambda calculus for the function incn.
RAW Paste Data