Generator for clock numbers++ is broken

thoughtstem / morugamu

7 stars 6 forks source link

Generator for clock numbers++ is broken #50

Closed srfoster closed 5 years ago

srfoster commented 5 years ago

Something is weird about the redex definition.

srfoster commented 5 years ago

Actually, the evaluation steps are broken too... Error:

../../../../../../Applications/Racket v6.9/share/pkgs/redex-lib/redex/private/reduction-semantics.rkt:1478:55: S++~: no clauses matched for (S++~ (S (cons 4 (cons 0 nil))))