search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.26k stars 162 forks source link

Improve effect type annotations #325

Closed TimWhiting closed 10 months ago

TimWhiting commented 1 year ago
TimWhiting commented 1 year ago

@daanx Can you take a look at this?

daanx commented 10 months ago

I'll merge it and fix partition but will comment out substr for now. Thanks!