on cd23076 help sign in
3 lines 118 B history raw
1Tacs.idr:247:15:
2When elaborating right hand side of testElab3:
3Unifying ty and ARR ty t would lead to infinite value