[Agda] signature for `with' branch

[Nils Anders Danielsson]

On 2017-02-28 12:49, Sergei Meshveliani wrote:
> I knew that it is not reduced. But how to make it reduced there without
> using `with' or `case' ?

Use regular pattern matching.

-- 
/NAD