[Agda] type check performance

[Jacques Carette]

Investigate what "open ... public" does.  This is useful to 'flatten' 
hierarchies.

Jacques


On 2017-01-13 11:47 AM, Sergei Meshveliani wrote:
> Am I missing something?
> Why does not it mention the intermediate structure names, like
> Semigroup, Group, AbelianGroup ... ?
>
>