formal-semantics

12Ciepło

1Odpowiedz

PLT Redex: parametryzacja definicji języka

Jest to problem, który dokuczał mi przez jakiś czas, i zastanawiam się, czy ktoś tu może pomóc. Posiadam model PLT Redex języka o nazwie lambdaLVar, który jest mniej lub bardziej niepasowanym rachunki