| From: Robert Bruce Findler (robby at cs.uchicago.edu) Date: Mon Jan 6 11:44:55 EST 2003 |
|
Noel, Does Schemedoc provide contract checking support? It's probably not worth duplicating the contract checker that DrScheme already has (did you see my ICFP talk?) Looking at the schematics web page I'm unable to find a manual for Schemedoc -- did I just miss it somewhere? Robby
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}