Saturday, February 24, 2018

Advanced examples



(* This CDuce script produces CDuce web site. *) (* The types *) include "siteTypes.

No comments:

The Y Combinator (Slight Return)

Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell hims...