p ::= {define {d1 . . . dk} for e}
d := [fun f (x1 . . . xl) = e]
e ::=
- x
- {e1 ⊕ e2}
- {ifz e0 then e1 else e2}
- {let x be e1 in e2}
- {f (e1 . . . el)}
⊕ ::= + | - | * | <=
-
Notifications
You must be signed in to change notification settings - Fork 0
zielinsky/first-order-functional-language
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published