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: bfd303ee564224d24a416bf5700af73099e17930 (plain)

import nat
import fib

main = (\x -> (\x -> \x -> x) 1 x) 5