[Agda] `case' vs `with'

Nils Anders Danielsson nad at chalmers.se
Mon Aug 27 18:23:53 CEST 2012


On 2012-08-27 18:13, Serge D. Mechveliani wrote:
> Agda has taken much of syntax from the Haskell language,
> and I like this.
> But why	does not it take the `case' construct?

There is a case function in the standard library:

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

-- 
/NAD


More information about the Agda mailing list