[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