Check directive

2022-05-30 19:03:42 -07:00
parent 7912636be6
commit 1a5d5f7b59
1 changed files with 1 additions and 0 deletions
--- a/gamarjoba.lean
+++ b/gamarjoba.lean
@@ -2,6 +2,7 @@ import system.io

 open io

+#check (++)
 def greet (s : string) : io unit :=
    put_str $ "Hello, " ++ s ++ "!\n"