On 2013-02-04 19:42, Serge D. Mechveliani wrote:
> is it possible in Agda to set several sentences in one line?
> Something like this:
> let {aC = Setoid.Carrier A; open DecSetoid B; open Monoid C}
> in ...
AFAIR layout is mandatory in Agda (unlike in Haskell).
--
/NAD