on 54e4e41 help sign in
3 lines 115 B history raw
1Tacs.idr:251:15:
2When checking right hand side of testElab3:
3Unifying ty and ARR ty t would lead to infinite value