Look at the end of http://haskell.org/haskellwiki/GHC/Indexed_types
-- Lennart On 8/31/07, Jim Apple <[EMAIL PROTECTED]> wrote: > > Regarding > > http://www.haskell.org/pipermail/cvs-ghc/2007-August/037655.html > > and > > Are type functions checked for termination? If so, where can I find the > details? > > Jim > _______________________________________________ > Glasgow-haskell-users mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users >
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
