diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-23 20:27:27 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2021-11-25 09:53:44 +0200 |
| commit | 4bfaeda8039acc2a25891a778a51ae7dce1e0d32 (patch) | |
| tree | 6fc50fd802625e65ae32bbc8f79e9adc757d842a /samples | |
| parent | efa0a2676dccf23195cf0ab68510bfbac720f4a8 (diff) | |
Get term reduction (without Lazy) seemingly working
Diffstat (limited to 'samples')
| -rw-r--r-- | samples/sample1.code | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/samples/sample1.code b/samples/sample1.code index 3d90d32..5eb4cc3 100644 --- a/samples/sample1.code +++ b/samples/sample1.code @@ -4,6 +4,5 @@ # factorial 10; -fn a b = b; -fn; -true;
\ No newline at end of file +f a b = b a; +f 10 id; |