[racket] [redex] define list for metafunctions

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Wed Sep 8 11:36:23 EDT 2010


Is there a way to have the (define ...) dropdown button be customized for define-metafunction, so that it displays the name of the metafunction instead of just showing the language name?


-- Éric

Posted on the users mailing list.