[Agda] max (x :: xs)

Nils Anders Danielsson nad at cse.gu.se
Tue Sep 17 10:04:41 CEST 2013


On 2013-09-16 12:29, Serge D. Mechveliani wrote:
> for any occasion, do you happen to know of whether lib-0.7 has a
> function for maximum in a List (with returning also the corresponding
> proof) ?

I don't think so.

-- 
/NAD


More information about the Agda mailing list