Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#673
Triggered via pull request
December 13, 2024 19:00
byorgey
Status
Success
Total duration
37m 28s
Artifacts
–