search

zydeco-lang / zydeco

a proof-of-concept programming language based on Call-by-push-value
Other
49 stars 3 forks source link

Add support for Strings #7

Closed maxsnew closed 1 year ago

LighghtEeloo commented 1 year ago

This feature seems to be done or almost done, as well as #4. @SchwarzXia do you think it's a good time to review it?

SchwarzXia commented 1 year ago

I still need to write some test cases and use cases for these. Also I'll see if there are other functions that'll be useful for strings and IO.