on 465cc1c help sign in
2 lines 88 B history raw
1reg056.idr:7:7:dodgy n m Refl is a valid case
2reg056.idr:10:6:nonk Refl is a valid case