[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:



More information about the Agda mailing list