on bf4e535 help sign in
5 lines 235 B history raw
1[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]
2totality004a.idr:13:1:
3Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process
4totality004a.idr:24:1:
5Main.main is possibly not total due to: Main.process