on 76ec3fe help sign in
5 lines 153 B history raw
1unique002.idr:15:5:Unique name xs is used more than once
2unique002a.idr:15:5:Can't convert
3 Int -> String
4with
5 UniqueType (Int -> String)