Вопросы с тегом REDEX

0 голосов

1 ответ

Странное Контрактное Нарушение в Суде

Max von Hippel / 25 марта 2020

1 голос

1 ответ

Понимание лямбда-замены в Redex

nj2237 / 25 февраля 2020

4 голосов

1 ответ

Отверстие редукционного отношения может соответствовать дыре многими различными способами.

lschuetze / 28 января 2020

1 голос

1 ответ

Как создать словарь сопоставления на пользовательский словарь в Racket?

nj2237 / 25 января 2020

0 голосов

0 ответов

Утверждая, что в Redex не существует выхода для суждения

У меня есть отношение, определенное в PLT Redex, которое принимает два входа и выхода....

jmite / 14 декабря 2018

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...