Open
Description
Example:
(App (Abs "x" (Term "x"))) (Lit "wow") is compiled into "(x => x)('wow')". But it can be beta-reduced to normal form already at compile time: "wow"
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No labels
No type
No projects
No milestone
None yet
No branches or pull requests