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