David Menendez <[EMAIL PROTECTED]> wrote: > Jason Dusek <[EMAIL PROTECTED]> wrote: > > David Menendez <[EMAIL PROTECTED]> wrote: > > > I've often thought it would be for Haskell to steal Agda's > > > module syntax. > > > > What does that look like? I've been looking for some kind of > > documentation for ~20 minutes and I still can't find an > > example of an import. > > There's a description on their wiki at > <http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Docs.ModuleSystem>.
Thanks. That system is pretty neat -- I wish we had it. Without parameterized modules, we are reduced to a kind of warty singleton pattern -- or IORefs, as you mention. -- _jsn _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
