((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[racket] [redex] define list for metafunctions

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

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?

Thanks,

-- Éric
Posted on the users mailing list.