[Agda] type of map..<=

Serge D. Mechveliani mechvel at botik.ru
Fri Oct 5 10:48:45 CEST 2012

On Fri, Oct 05, 2012 at 12:33:15AM +0530, Sanjoy Das wrote:
> Hi Sergei,
> Should be List Set I think.

Indeed, it is compiled. Thank you.
And  Set  is not comipled.

Generally, when setting a type signature, may it happen that more than 
one type is possible? If there are multiple possibilities, does there 
exist the unique most special of them? 



More information about the Agda mailing list