David Menendez <[EMAIL PROTECTED]> wrote: > I've often thought it would be for Haskell to steal Agda's > module syntax. It does pretty much everything you want (plus > some other stuff we maybe don't need) and the various things > it does fit together logically.
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. -- _jsn _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
