git.iko.soy/Idris-dev
on c79fb21 help sign in
Idris-dev/test/reg028/expected
2 lines 142 B history raw
1reg028.idr:5:1:tbad.bad is possibly not total due to: {tbad.bad16}
2reg028a.idr:11:1:tbad.qsort' is possibly not total due to: {tbad.qsort'18}