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@ccil.org
saying "No information items inside".           http://www.ccil.org/~cowan
        --Eve Maler

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