[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Typo in Formal Semantics

OOHASHI Daichi scripsit:

>   cwv =
>     twoarg (\e1 e2 k. applicate e1 <> (\e*. applicate e2 e* k))
> as pointed out in SchemeDS[1].

Thank you very much.  Correction fixed and pushed.

-- 
Even a refrigerator can conform to the XML      John Cowan
Infoset, as long as it has a door sticker       cowan@x
saying "No information items inside".           http://www.ccil.org/~cowan
        --Eve Maler

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports