search

openai / lean-gym

Apache License 2.0
167 stars 30 forks source link

Check against the use of `undefined` #6

Closed spolu closed 3 years ago

spolu commented 3 years ago

r? @jesse-michael-han

jesse-michael-han commented 3 years ago

also writing some tests

spolu commented 3 years ago

Thanks @jesse-michael-han !

spolu commented 3 years ago

Ok will wait on your go to merge 👍

jesse-michael-han commented 3 years ago

tests pass, feel free to merge