[Haskell-cafe] Type-Level Programming

Bulat Ziganshin bulat.ziganshin at gmail.com
Sat Jun 26 08:37:05 EDT 2010

Hello Gábor,

Saturday, June 26, 2010, 4:29:28 PM, you wrote:

> It's interesting how C++ is imperative at the term level and
> functional at the type level

or logic? it supports indeterminate choice

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list