Oh, this might help clear things out: you made ‘ticks’ the ‘metaparameter’. I suppose you’re alluding to what people call time-stamps or contours. I’m not concerned with that in my model, though: I’m happy with having ‘ticks’ be explicit in my reduction relation. I’m concerned with the parameter ‘k’ that determines the maximum size of ‘ticks^’ in the abstract interpreter—that’s the variable I want to turn into a ‘metaparameter’.
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
