Closed thevirtuoso1973 closed 2 years ago
Closes #62.
Small change based on @mechtaev suggestion a while back, convert unification sugar into string_eq instead of reusing string_concat.
string_eq
string_concat
Closes #62.
Small change based on @mechtaev suggestion a while back, convert unification sugar into
string_eqinstead of reusingstring_concat.