[plt-dev] an api for check syntax & module browser

On Sep 10, 2009, at 3:43 AM, Philippe Meunier wrote:

>  Progress is steady but slow, there's just a
> ton of infrastructure code to write (anybody wants to write a
> hashconsing library that can handle cyclic data structures, unions,
> subtyping (and least upper bounds in general), and that's reasonably
> efficient and GC-friendly?)


Make a list of concrete specs, publish it here. See whether we can't  
find volunteers.