On 10/6/07, Dan Piponi <[EMAIL PROTECTED]> wrote: > I'm guessing you're talking about a language that > makes it easier to "fake" your own dependent types without properly > implementing dependent types. If you find one, I could use it right > now - the details of embedding the gaussian integers in Haskell types > are getting a bit complicated right now...
I think Ωmega was designed along those lines. <http://web.cecs.pdx.edu/~sheard/> -- Dave Menendez <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/>
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
