Hi Oleg - many thanks


On 6 March 2012 07:15,  <[email protected]> wrote:
>
>> How do I add type annotations to interior locations in an abstract
>> syntax tree?....
> {Snip}
>        Here is the solution
> http://okmij.org/ftp/Computation/FLOLAC/TEvalNR.hs
>
>        There is a bit of the explanation here:
> http://okmij.org/ftp/Computation/FLOLAC/lecture.pdf
>
>

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to