On 17 Jan 2010, at 23:22, Will Ness wrote:
What are such types called?
Dependent ones. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
On 17 Jan 2010, at 23:22, Will Ness wrote:
What are such types called?
Dependent ones. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe