coinduction.yap File Reference

Co-inductive execution

• *.

More...

Go to the source code of this file.

Detailed Description

Co-inductive execution

• *.

Author

VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan, Arvin Bansal,

Includes nice extensions from Jan Wielemaker (from the SWI version) *

Date

Tue Nov 17 14:55:02 2015

Definition in file coinduction.yap.