> This isn`t a manifestation of the Curry-Howard isomorphism? > > 2010/6/8 Alexander Solla <a...@2piix.com> > > >> On Jun 7, 2010, at 4:10 PM, Alexander Solla wrote: >> >> >>> You might note how much like evaluating the function generating the >>> analysis is. >>> >> >>
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
