m-chrzan.xyz
index
:
schmim
master
Interpreter for a simple typed lisp
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
good
/
factorial.mim
blob: 61b813f71a9e60b1d9116cc69adfa992863bf2e9 (
plain
)
1
2
3
4
5
(letrec (fact : Int -> Int n : Int) (if (= n 0) 1 (* n (fact (- n 1)))) (fact 10))