diff options
Diffstat (limited to 'stdlib.slip')
-rw-r--r-- | stdlib.slip | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/stdlib.slip b/stdlib.slip new file mode 100644 index 0000000..9e20c64 --- /dev/null +++ b/stdlib.slip @@ -0,0 +1,21 @@ +(let if + (fn (cond iftrue iffalse) (Bool T T) T + (case cond + (true iftrue) + (_ iffalse)) + ) +) + + +(let ++ + (fn x Int Int + (+ x 1) + ) +) + + +(let -- + (fn x Int Int + (- x 1) + ) +)
\ No newline at end of file |