5ai.idr:7:17--7:25:While processing constructor Main.ConsPrime at 5ai.idr:7:5--11:1:
Undefined name LTE
5ai.idr:17:18--18:5:While processing right hand side of Main.disjoint at 5ai.idr:17:1--23:1:
P is not a valid implicit argument in replace p ?delayed
5ai.idr:27:24--27:43:While processing right hand side of Main.mulZIsZ at 5ai.idr:27:1--29:1:
Undefined name multCommutative
5ai.idr:30:26--32:1:While processing right hand side of Main.zeroIsNotDiv at 5ai.idr:30:1--32:1:
a is not accessible in this context
5ai.idr:33:39--34:1:While processing right hand side of Main.kMul2Eq1 at 5ai.idr:33:1--34:1:
Can't solve constraint between:
	mult x (S (S Z))
and
	Z
5ai.idr:37:37--37:46:While processing type of Main.plusNotChangeGT at 5ai.idr:37:1--38:1:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:38:1--39:1:No type declaration for Main.plusNotChangeGT
5ai.idr:41:28--41:37:While processing type of Main.gtNotRefl at 5ai.idr:41:1--42:1:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:42:1--43:1:No type declaration for Main.gtNotRefl
5ai.idr:48:58--48:71:While processing type of Main.notGtABMulAKEqB at 5ai.idr:48:1--49:1:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:49:1--50:1:No type declaration for Main.notGtABMulAKEqB
5ai.idr:53:30--53:43:While processing type of Main.gtIsNotDiv at 5ai.idr:53:1--54:1:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:54:1--55:1:No type declaration for Main.gtIsNotDiv
5ai.idr:68:19--69:9:While processing right hand side of Main.prf2IsPrime at 5ai.idr:66:1--78:1:
While processing type of 1241:prfGT32 at 5ai.idr:68:9--69:9:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:79:43--80:1:While processing right hand side of Main.notDivides32 at 5ai.idr:79:1--80:1:
Can't solve constraint between:
	mult x (S (S Z))
and
	Z
5ai.idr:84:43--85:1:While processing right hand side of Main.notDivides52 at 5ai.idr:84:1--85:1:
Can't solve constraint between:
	mult x (S (S Z))
and
	Z
5ai.idr:90:43--91:1:While processing right hand side of Main.notDivides53 at 5ai.idr:90:1--91:1:
Can't solve constraint between:
	mult x (S (S (S Z)))
and
	Z
5ai.idr:95:43--96:1:While processing right hand side of Main.notDivides54 at 5ai.idr:95:1--96:1:
Can't solve constraint between:
	mult x (S (S (S (S Z))))
and
	Z
5ai.idr:102:19--103:9:While processing right hand side of Main.prf3IsPrime at 5ai.idr:100:1--112:1:
While processing type of 1305:prfGT43 at 5ai.idr:102:9--103:9:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
5ai.idr:115:19--116:9:While processing right hand side of Main.prf5IsPrime at 5ai.idr:113:1--129:1:
While processing type of 1313:prfGT65 at 5ai.idr:115:9--116:9:
When unifying Ordering and Nat -> Nat -> Type
Mismatch between:
	Ordering
and
	Nat -> Nat -> Type
Error(s) building file 5ai.idr