[Haskell-cafe] Type-level arithmetic
dave at zednenem.com
Sat Oct 6 18:28:57 EDT 2007
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.
Dave Menendez <dave at zednenem.com>
More information about the Haskell-Cafe