This commit is contained in:
Sergei Winitzki 2024-11-20 19:36:10 +00:00 committed by GitHub
commit 920218dd37
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,2 +1,2 @@
val catstr: String => String => String = def catstr_prime(s: String): String => String =
s => s1 => s ++ s1 s1 => s ++ s1