on 3cb1f21 help sign in
2 lines 175 B history raw
1test017a.idr:5:1:scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans
2test017b.idr:4:1:foo.foo is possibly not total due to recursive path foo.foo