File tree Expand file tree Collapse file tree 1 file changed +24
-3
lines changed
Expand file tree Collapse file tree 1 file changed +24
-3
lines changed Original file line number Diff line number Diff line change 3131
3232< form >
3333< textarea id ="code ">
34- # Some code (with ignored arguments)
34+ # Ignored arguments
3535false = \ _a b . b
3636true = \ a _b . a
3737not = \ b . b false true
4343# Invalid names
4444%value = ()
4545
46- # Invalid args - unbound
46+ # Invalid whitespace (tabs)
47+ whitespace = ()
48+
49+ # Bare term
50+ (\ f x . f (x x))
51+
52+ # Unbound
4753someFunc = \ local . true nonexistant local
4854
49- # Invalid args - scoped
55+ # Out of scope args
5056otherFunc = \ x . const (\ scopedArg . x ()) scopedArg x
5157
58+ # Debug mode on
59+ #debug
60+
61+ # Bare term - Debug
62+ (\ f x . f (x x))
63+
64+ # Unbound - Debug
65+ someFunc = \ local . true nonexistant local
66+
67+ # Out of scope args - Debug
68+ otherFunc = \ x . const (\ scopedArg . x ()) scopedArg x
69+
70+ # Debug mode off
71+ #debug
72+
5273# More code
5374zero = false
5475succ = \ n f x . f (n f x)
You can’t perform that action at this time.
0 commit comments