Folks, What are the local quantification annotations they talk about here?
http://www.cc.gatech.edu/~saswat/research/Summary.ps Thanks, Joel -- http://wagerlabs.com/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe