EPEL 8 for aarch64 : / usr /share /racket /pkgs /redex-examples /redex /examples /racket-machine

• compiled
• examples.rkt
• grammar.rkt
• impl-eval.rkt
• impl-exec.rkt
• model-impl.rkt
• randomized-tests-test.rkt
• randomized-tests.rkt
• reduction-test.rkt
• reduction.rkt
• util.rkt
• verification-test.rkt
• verification.rkt

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Feb 3 05:21:04 2025