| 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. |
|
![[logo]](/logo.png){kind=logo}