[Agda] simple example

Serge D. Mechveliani mechvel at botik.ru
Wed Aug 15 14:34:25 CEST 2012


On Wed, Aug 15, 2012 at 03:08:30PM +0400, Serge D. Mechveliani wrote:
> [..]
>
> May be, one needs to provide a proof for   n Б┬╦ k < n  ? 

Fixing a typo:  "less or equal":   n \.- k  \leq  n    

------
Sergei


More information about the Agda mailing list