Closed tmattio closed 2 years ago
I've tested the changes with lambda-term and utop and everything seems to be working. Merging now and I'll make a release shortly. Thanks a lot for all the work @nojb and @kandu!
I've tested the changes with lambda-term and utop and everything seems to be working. Merging now and I'll make a release shortly. Thanks a lot for all the work @nojb and @kandu!
I had forgotten about this, thanks for pushing it over the finish line. Cheers!
This is #43 with a clean history and co-authors attributions.