Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
  • Loading branch information
UchihaIthachi committed Apr 18, 2024
2 parents cd56ff2 + 84f448e commit 795282c
Showing 1 changed file with 3 additions and 7 deletions.
10 changes: 3 additions & 7 deletions test_
Original file line number Diff line number Diff line change
@@ -1,7 +1,3 @@
let c = ((fn x.Istruthvalue x) ,3)
in
let f = c 1
in
let x = c 2
in
Print(f x)
let f n = rf n 1 1 where
rec rf n c r = c eq n+1 -> r | rf n (c+1) (c*r)
in Print(f 3 , f 5 ,f 7)

0 comments on commit 795282c

Please sign in to comment.