diff options
Diffstat (limited to 'transfer/examples/prim.tr')
| -rw-r--r-- | transfer/examples/prim.tr | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/transfer/examples/prim.tr b/transfer/examples/prim.tr new file mode 100644 index 000000000..fe0d32eac --- /dev/null +++ b/transfer/examples/prim.tr @@ -0,0 +1,23 @@ +-- +-- Primitives +-- + + +String : Type ; + +Int : Type ; + +prim_add_Int : (_:Int) -> (_:Int) -> Int ; +prim_sub_Int : (_:Int) -> (_:Int) -> Int ; +prim_mul_Int : (_:Int) -> (_:Int) -> Int ; +prim_div_Int : (_:Int) -> (_:Int) -> Int ; +prim_mod_Int : (_:Int) -> (_:Int) -> Int ; + +prim_neg_Int : (_:Int) -> Int ; + +prim_lt_Int : (_:Int) -> (_:Int) -> Bool ; +prim_le_Int : (_:Int) -> (_:Int) -> Bool ; +prim_gt_Int : (_:Int) -> (_:Int) -> Bool ; +prim_ge_Int : (_:Int) -> (_:Int) -> Bool ; +prim_eq_Int : (_:Int) -> (_:Int) -> Bool ; +prim_ne_Int : (_:Int) -> (_:Int) -> Bool ; |