[racket-users] [relation-rules] found the same binder

Hello, I have a bunch of relation rules, but in one of them i need to check if f_0 is the same as i have in one of the environments, but the error *reduction-relation: found the same binder, f_0, at different depths, 0 and 1 ... F_01 ... (T f_0 ((T_00 x_00) ...) (return e)) F_02 ...)) (contrac

Re: [racket-users] New lightweight termios package: rktermios

Hi Dom, I think it would pretty easy to patch ansi. I already made this version: https://github.com/jeapostrophe/racket-ansi/commit/10a46081499f93c65f4849402e862a683af7871a which abstracts away the old extension. I think it would be really trivial to use yours. Thanks! Jay -- Jay McCarthy Asso