rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
2 changed files with 2 additions and 2 deletions
Showing only changes of commit 615a6f1b07 - Show all commits

View File

@@ -1,3 +1,3 @@
k x y = x;
main = k 3 ((/#) 1 0);
main = k 3 (/# 1 0);

View File

@@ -1,6 +1,6 @@
fac n = case (==#) n 0 of
{ <1> -> 1
; <0> -> (*#) n (fac ((-#) n 1))
; <0> -> *# n (fac (-# n 1))
};
main = fac 3;