test.tra « 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.tra

blob: 0abb933ef57ab348a5f9786eb932fd65fa85c73d (plain)

import nat
import fib

-- main = natToInt (fibNat (intToNat 10))