[Agda] is there an example of bertus(kant) to define what equality means for type A?

Mandy Martino tesleft at hotmail.com
Mon Dec 14 12:30:05 CET 2015

Previous message: [Agda] how to use monoid solver and how to derive a concept monoid if assume we do not know monoid
Next message: [Agda] how to use monoid solver and how to derive a concept monoid if assume we do not know monoid
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi ,
is there an example of bertus(kant) to define what equality means  for  type A?
Regards, 		 	   		  
Martin 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151214/93feba84/attachment.html

Previous message: [Agda] how to use monoid solver and how to derive a concept monoid if assume we do not know monoid
Next message: [Agda] how to use monoid solver and how to derive a concept monoid if assume we do not know monoid
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list