[Git][monnier/typer][graveline] Added Int->String
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/17fce738978b3a69a9682fa0a71878a75a0c... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Jonathan Graveline