Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#672
| Job | Run time |
|---|---|
| 36m 27s | |
| 36m 27s |
TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}
#672
| Job | Run time |
|---|---|
| 36m 27s | |
| 36m 27s |