git.iko.soy/Idris-dev
on d774fbd help sign in
Idris-dev/test/test030/expected
12 lines 186 B history raw
1test030a.idr:12:14:When elaborating right hand side of testReflect1:
2Can't unify
3 IsJust (Just x)
4with
5 IsJust (prove (getProof x))
7Specifically:
8 Can't unify
9 Just x
10 with
11 Nothing