Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#6240
| Job | Run time |
|---|---|
| 39m 5s | |
| 37m 59s | |
| 44m 20s | |
| 46m 29s | |
| 2h 47m 53s |