[Agda] importing a module from a module

[Nils Anders Danielsson]

On 2012-05-07 12:46, Andreas Abel wrote:
> why does the following not work?
>
> import Data.List.Any using (module Membership-≡)
> open Membership-≡

You didn't open Data.List.Any, so Membership-≡ is only in scope qualified.

-- 
/NAD