On Tue, 10 Mar 2009, Conor McBride wrote:
Apologies for crossposting. Please forward this message
to individuals or lists who may be interested. In addition
to the recently advertised PhD position at Strathclyde on
"Reusability and Dependent Types", I am delighted to
advertise the following PhD opportunity.
{---------------------------------------------------------
-- Haskell Types with Numeric Constraints ----------------
---------------------------------------------------------}
Sounds like it could simplify
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional/
a lot. However, isn't this halfheartedly since we all wait for full
dependent types? :-)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
