[Agda] Decidable _\~~_ of Semiring
Serge D. Mechveliani
mechvel at botik.ru
Fri Nov 9 15:59:48 CET 2012
On Fri, Nov 09, 2012 at 09:35:49AM -0500, Daniel Peebles wrote:
> As with everything, you can just click on Decidable in the hyperlinked HTML
> documentation to find out where the declaration you want is.
> [..]
I see the Agda Reference manual:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.TOC,
it is helpul. But it is on the _language_я.
Where to find a similar doc on the Standard library?
(for example, the Decidable thing is of the library).
Thanks,
------
Sergei
More information about the Agda
mailing list