daily pastebin goal
10%
SHARE
TWEET

Untitled

a guest Jul 21st, 2018 53 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. BNF fyrir lambda calculus er / A BNF for lambda calculus is:
  2.  
  3. <expr> ::= <constant>
  4. |  <variable>
  5. |  (<expr> <expr>)
  6. |  (λ <variable>. <expr>)
  7.  
  8. Skrifið fallasmið í lambda calculus fyrir fallið incn / Write a lambda abstraction in
  9. lambda calculus for the function incn.
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top