git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/reg044/expected
11 lines 261 B history raw
1reg044.idr:4:4:When elaborating right hand side of Main.pf:
2Can't unify
3 b = b
4with
5 a = b
7Specifically:
8 Can't unify
9 b
10 with
11 a