[racket] Inductive and coinductive reasoning? (was "shared and immutable structures")

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Wed Feb 2 21:00:19 EST 2011

> because the last time I looked seriously through their web
> sites, they seemed to be interminably stuck in planning more.

They are co-inductive.

Shriram


Posted on the users mailing list.