The examples in this directory were attempts to implement coinductive
types in fore.  The ones based on the co-algebraic approach to
coinductive types worked ok.  These include church-streamsa.fore and
parigot-streams.fore.  Others were not necessarily successful.