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 [email protected] saying "No information items inside". http://www.ccil.org/~cowan --Eve Maler _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
