Hi all, >From the DLS'10 paper of Stephen and Matthias, it says "the class system must >determine that two classes are equal modulo contract wrapping".
I'm interested in that exact property but for functions. Ie. how do we determine if two functions are "equal" modulo contract wrapping? Thanks! -- Éric _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
