[Agda] is Agda 1 and Agda 2 are different things

[Mandy Martino]

Hi ,
i  googled an  example  and run  and  got  error
/home/martin/hilbertreborn/LogicLib.agda:5,2: Not a valid pattern: Prop=<ERROR> Set
 (=>)(X,Y::Prop) :: Prop...
http://ocvs.cfv.jp/Agda/tutorial/node149.html

/home/martin/hilbertreborn/prove2.agda:3,6-14No such module LogicLibwhen scope checking the declaration  open LogicLib use Prop, (&&) , (=>) , (<=>)
--#include "/home/martin/hilbertreborn/LogicLib.agda"
open LogicLib use Prop, (&&), (=>), (<=>) 
prop3 (A,B,C::Prop) :: ((A && B) => C) <=> (A => (B => C))  = {}0

Regards,
Martin 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160103/f0194851/attachment-0001.html