diff options
Diffstat (limited to 'transfer/examples/test.tra')
| -rw-r--r-- | transfer/examples/test.tra | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/transfer/examples/test.tra b/transfer/examples/test.tra new file mode 100644 index 000000000..0abb933ef --- /dev/null +++ b/transfer/examples/test.tra @@ -0,0 +1,4 @@ +import nat +import fib + +-- main = natToInt (fibNat (intToNat 10))
\ No newline at end of file |