From 4bfaeda8039acc2a25891a778a51ae7dce1e0d32 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Tue, 23 Nov 2021 20:27:27 +0200 Subject: Get term reduction (without Lazy) seemingly working --- samples/sample1.code | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'samples/sample1.code') 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; -- cgit v1.3