[Agda] import in st.library

[Wojciech Jedynak]

2013/10/14 Sergei Meshveliani <mechvel at botik.ru>:
> There is some trick with the agda-mode-emacs for finding a definition
> (I do not recall how to).

FWIW, the trick is to click on the name with the middle mouse button.

However, I do agree: it is sometimes better to use explicit module
imports. For instance, it often helps prevent name clashes.

-- 
Best,
Wojtek