[Agda] Re: strict total order on characters

Nils Anders Danielsson nad at chalmers.se
Mon Nov 21 13:41:17 CET 2011


On 2011-11-21 12:36, Ramana Kumar wrote:
> How would I add to the standard library, if the answer to question 2
> below were 'yes'?

See the README:

   http://www.cse.chalmers.se/~nad/listings/lib/README.html

-- 
/NAD


More information about the Agda mailing list