From: Greg Hendershott (greghendershott at gmail.com) Date: Fri Apr 25 09:24:02 EDT 2014 |
|
Great! 1. I pushed this for racket-mode. https://github.com/greghendershott/racket-mode/commit/c782dbb23eced63d51cf58b4c3d9f80afb0206ff 2. I submitted a PR to change `enter!`. https://github.com/plt/racket/pull/626
Posted on the users mailing list. |
|