Closed d-xo closed 4 weeks ago
Tweaks the standard library so that it typechecks and runs it in ci. I had to comment out one function that gave me a type error I didn't understand, but we can address that in a separate pr / issue.
Tweaks the standard library so that it typechecks and runs it in ci. I had to comment out one function that gave me a type error I didn't understand, but we can address that in a separate pr / issue.