on 2b258db help sign in
4 lines 164 B history raw
1reg028.idr:5:1:
2tbad.bad is possibly not total due to: with block in tbad.bad
3reg028a.idr:11:1:
4tbad.qsort' is possibly not total due to: with block in tbad.qsort'