Thank you, the problem was that I was defining f_0 as multiple patterns of*
(c_0 -> f_0)...* and only comparing it to one instance of f_0.
A quinta-feira, 24 de setembro de 2020 à(s) 02:27:45 UTC+1, Robby Findler
escreveu:
> I'm not sure exactly what you're trying to accomplish so take this wit
I'm not sure exactly what you're trying to accomplish so take this with a
grain of salt, but that error message means that redex doesn't really know
how to interpret your rules. Here's a simpler example that has the same
error message.
(reduction-relation
L
(--> (+ (+ n ...) n)
5))
2 matches
Mail list logo
