[racket] Redex question: parameterizing a language definition

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Apr 4 11:15:47 EDT 2013

Previous message: [racket] Redex question: parameterizing a language definition
Next message: [racket] Redex question: parameterizing a language definition
Messages sorted by: [date] [thread] [subject] [author]

Lindsey, in your case, I believe the 'rabbit hole' can be avoided.

Posted on the users mailing list.

Previous message: [racket] Redex question: parameterizing a language definition
Next message: [racket] Redex question: parameterizing a language definition
Messages sorted by: [date] [thread] [subject] [author]