on bbbe563 help sign in
1 line 96 B history raw
1test017a.idr:5:scg.vtrans is possibly not total due to recursive path scg.vtrans --> scg.vtrans