index
:
marvinborner/gpn22
main
GPN22 talk files
Marvin
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
samples
/
factorial.gpn
blob: 46201e4b784c45aa2df303ebd88412c41b808701 (
plain
) (
blame
)
1
2
FAC = (Y \f.\n.(((ZERO n) 1) ((MUL n) (f (PRED n))))) MAIN = (FAC 3)
