Commit e04ec58ed700d02e4e3be1184177c24a82035e6e

Thomas de Grivel 2024-01-25T13:11:14

str_cat

diff --git a/.ic3_history b/.ic3_history
index 1888b1f..0dd1a2f 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,10 +1,3 @@
-1.0000010f
-1.00000010f
-1.00000001f
-2.0000001f
-2.0000002f
-2.0000001f
-2.123456789
 2.66666666666666666666f
 1.0
 1.0f
@@ -97,3 +90,10 @@ getenv("_")
 getenv("SHELL")
 getenv("HOME")
 getenv("USER")
+"a" + "b"
+"ab" + "cd"
+"ab" + "cd" + "ef"
+"Bonjour " + name + " !"
+hello = fn (name) { "Hello, " + name + " !" }
+hello("Patrice")
+hello("Thomas")