[Agda] Re: Accessing fields of algebra records
N. Raghavendra
raghu at hri.res.in
Tue Mar 10 15:36:10 CET 2015
At 2015-03-10T10:26:18-04:00, Jacques Carette wrote:
> Look in Data.Nat.Properties.Simple. Lots of useful proofs there, no
> matter how 'simple' they are!
Yeah, I've looked there! I used 1*n=n only as an example for the
problem I had going down to underlying structures.
Cheers,
Raghu.
--
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
More information about the Agda
mailing list