Closed svwingerden closed 1 year ago
Resolves first two issues of https://github.com/timaeus-research/devinterp/issues/18
best to wait until split/devinfra has been merged into main (https://github.com/timaeus-research/devinterp/pull/15), and then make a PR to main.
Resolves first two issues of https://github.com/timaeus-research/devinterp/issues/18