[Haskell-cafe] Type-level arithmetic

[David Menendez]

On 10/6/07, Dan Piponi <dpiponi at gmail.com> 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>