on 385dcbf help sign in
4 lines 190 B history raw
1totality012a.idr:9:1:
2Main.echo2 is possibly not total due to recursive path Main.echo2 --> Main.echo2
3totality012b.idr:11:1:
4Main.echo is possibly not total due to recursive path Main.echo