This commit is contained in:
crumbtoo committed 2024-02-08 16:43:02 -07:00
1 parent 6dd581a25f
commit a2b4bd2afc
2 files changed
+10

No files matched your search

+3
View File
@@ -0,0 +1,3 @@
k x y = x;
main = k 3 ((/#) 1 0);
+7
View File
@@ -0,0 +1,7 @@
fac n = case (==#) n 0 of
{ <1> -> 1
; <0> -> (*#) n (fac ((-#) n 1))
};
main = fac 3;