Contents

Idea

A coinductive definition is a definition by coinduction.

Definition

See at coinductive type.

Revised on September 20, 2012 18:10:11 by Urs Schreiber (131.174.190.192)