on 385dcbf help sign in
2 lines 97 B history raw
1directives002.idr:12:3:
2directives002.Main.main is possibly not total due to: directives002.loop