test.tr « examples « transfer - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/transfer/examples/test.tr

blob: 8f08f84319b99e423cffff863a5215b58dca019e (plain)

import nat
import fib

main = natToInt (fibNat (intToNat 10))