Does Agda have an explicit export feature like in Haskell? As in e.g.:
module That ( would ; be ; nice ; ! ) where
--
Regards
*Frederik Hanghøj Iversen*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180124/cde2d390/attachment.html>