on b6effdb help sign in
4 lines 75 B history raw
1reg010.idr:5:Can't unify P x with P y
3Specifically:
4 Can't unify x with y