on f0a67ff help sign in
2 lines 170 B history raw
1reg070.idr:7:1:
2Test_show.Te implementation of Prelude.Show.Show is possibly not total due to: Prelude.Show.Test_show.Te implementation of Prelude.Show.Show, method show