Jonathan Graveline pushed to branch graveline at Stefan / Typer

Commits: 17fce738 by Jonathan Graveline at 2018-06-13T20:02:46Z Added Int->String - - - - -

1 changed file:

- btl/builtins.typer

Changes:

===================================== btl/builtins.typer ===================================== --- a/btl/builtins.typer +++ b/btl/builtins.typer @@ -121,6 +121,8 @@ Int_not = Built-in "Int.not" : Int -> Int;

Int->Integer = Built-in "Int->Integer" : Int -> Integer;

+Int->String = Built-in "Int->String" : Int -> String; + Integer_+ = Built-in "Integer.+" : Integer -> Integer -> Integer; Integer_- = Built-in "Integer.-" : Integer -> Integer -> Integer; Integer_* = Built-in "Integer.*" : Integer -> Integer -> Integer;

View it on GitLab: https://gitlab.com/monnier/typer/commit/17fce738978b3a69a9682fa0a71878a75a0c...