[!NOTE]
This PR is a patch stack, created manually with the assistance of git-branchless. Do not squash these commits.
You may want to review the following stack with ReviewStack:
127 (1 commits)
-> #126 (11 commits)
125 (2 commits) (soft dependency)
124 (5 commits)
mostly @aiverson's work, with me adding better support for end_anchor. the results would really benefit from @bootstrap-prime's in-progress work on propagating anchors through inferred terms.
just a soft dependency on feature/lua-language-server, since i was using it to (attempt to) type-check my changes here. these commits can trivially be moved to directly sit on feature/program-support-prereqs.
mostly @aiverson's work, with me adding better support for
end_anchor. the results would really benefit from @bootstrap-prime's in-progress work on propagating anchors through inferred terms.just a soft dependency on
feature/lua-language-server, since i was using it to (attempt to) type-check my changes here. these commits can trivially be moved to directly sit onfeature/program-support-prereqs.