A equivalência contextual de um idioma com `quote`-`eval` é trivial ou não?
Em [1], Mitchell Wand demonstrado que a adição de FEXPRs para o cálculo lambda puro trivializes a teoria de equivalência contextual, o que significa que dois termos são contextualmente equivalente sse eles são -congruent. Ao explorar o trabalho relacionado, ele foi "o nosso resultado estende uma...