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