This is the result of my merge work and as far as I can tell everything works as expected. TODOs are in various places to mark changes that are still needed. Also the type checker and documentation still need to be updated.
Please sanity check this, but do not spend too much time. There will be plenty to do moving on as well.
This is the result of my merge work and as far as I can tell everything works as expected. TODOs are in various places to mark changes that are still needed. Also the type checker and documentation still need to be updated.
Please sanity check this, but do not spend too much time. There will be plenty to do moving on as well.