This file is indexed.

/usr/share/racket/collects/redex/ is in racket-common 5.3.6+dfsg1-1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/racket/collects/redex/compiled/ root:root 0o755
/usr/share/racket/collects/redex/compiled/gui_rkt.dep text/plain root:root 0o644 678 bytes
/usr/share/racket/collects/redex/compiled/gui_rkt.zo application/octet-stream root:root 0o644 37.8 KB
/usr/share/racket/collects/redex/compiled/info_rkt.dep text/plain root:root 0o644 188 bytes
/usr/share/racket/collects/redex/compiled/info_rkt.zo application/octet-stream root:root 0o644 790 bytes
/usr/share/racket/collects/redex/compiled/main_rkt.dep text/plain root:root 0o644 294 bytes
/usr/share/racket/collects/redex/compiled/main_rkt.zo application/octet-stream root:root 0o644 9.8 KB
/usr/share/racket/collects/redex/compiled/pict_rkt.dep text/plain root:root 0o644 447 bytes
/usr/share/racket/collects/redex/compiled/pict_rkt.zo application/octet-stream root:root 0o644 37.3 KB
/usr/share/racket/collects/redex/compiled/redex_scrbl.dep text/plain root:root 0o644 429 bytes
/usr/share/racket/collects/redex/compiled/redex_scrbl.zo application/octet-stream root:root 0o644 3.0 KB
/usr/share/racket/collects/redex/compiled/reduction-semantics_rkt.dep text/plain root:root 0o644 557 bytes
/usr/share/racket/collects/redex/compiled/reduction-semantics_rkt.zo application/octet-stream root:root 0o644 18.9 KB
/usr/share/racket/collects/redex/compiled/tut-subst_rkt.dep text/plain root:root 0o644 485 bytes
/usr/share/racket/collects/redex/compiled/tut-subst_rkt.zo application/octet-stream root:root 0o644 13.5 KB
/usr/share/racket/collects/redex/examples/ root:root 0o755
/usr/share/racket/collects/redex/examples/README text/plain root:root 0o644 2.5 KB
/usr/share/racket/collects/redex/examples/arithmetic.rkt text/plain root:root 0o644 1.3 KB
/usr/share/racket/collects/redex/examples/beginner.rkt text/plain root:root 0o644 26.9 KB
/usr/share/racket/collects/redex/examples/cbn-letrec.rkt text/plain root:root 0o644 4.0 KB
/usr/share/racket/collects/redex/examples/church.rkt text/plain root:root 0o644 1.7 KB
/usr/share/racket/collects/redex/examples/combinators.rkt text/plain root:root 0o644 1.5 KB
/usr/share/racket/collects/redex/examples/compatible-closure.rkt text/plain root:root 0o644 279 bytes
/usr/share/racket/collects/redex/examples/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/compiled/arithmetic_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/compiled/arithmetic_rkt.zo application/octet-stream root:root 0o644 13.4 KB
/usr/share/racket/collects/redex/examples/compiled/beginner_rkt.dep text/plain root:root 0o644 376 bytes
/usr/share/racket/collects/redex/examples/compiled/beginner_rkt.zo application/octet-stream root:root 0o644 122.9 KB
/usr/share/racket/collects/redex/examples/compiled/cbn-letrec_rkt.dep text/plain root:root 0o644 223 bytes
/usr/share/racket/collects/redex/examples/compiled/cbn-letrec_rkt.zo application/octet-stream root:root 0o644 25.8 KB
/usr/share/racket/collects/redex/examples/compiled/church_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/compiled/church_rkt.zo application/octet-stream root:root 0o644 23.1 KB
/usr/share/racket/collects/redex/examples/compiled/combinators_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/compiled/combinators_rkt.zo application/octet-stream root:root 0o644 15.5 KB
/usr/share/racket/collects/redex/examples/compiled/compatible-closure_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/compiled/compatible-closure_rkt.zo application/octet-stream root:root 0o644 9.6 KB
/usr/share/racket/collects/redex/examples/compiled/contracts_rkt.dep text/plain root:root 0o644 331 bytes
/usr/share/racket/collects/redex/examples/compiled/contracts_rkt.zo application/octet-stream root:root 0o644 29.7 KB
/usr/share/racket/collects/redex/examples/compiled/info_rkt.dep text/plain root:root 0o644 188 bytes
/usr/share/racket/collects/redex/examples/compiled/info_rkt.zo application/octet-stream root:root 0o644 634 bytes
/usr/share/racket/collects/redex/examples/compiled/letrec_rkt.dep text/plain root:root 0o644 253 bytes
/usr/share/racket/collects/redex/examples/compiled/letrec_rkt.zo application/octet-stream root:root 0o644 22.4 KB
/usr/share/racket/collects/redex/examples/compiled/omega_rkt.dep text/plain root:root 0o644 253 bytes
/usr/share/racket/collects/redex/examples/compiled/omega_rkt.zo application/octet-stream root:root 0o644 12.2 KB
/usr/share/racket/collects/redex/examples/compiled/pi-calculus_rkt.dep text/plain root:root 0o644 286 bytes
/usr/share/racket/collects/redex/examples/compiled/pi-calculus_rkt.zo application/octet-stream root:root 0o644 91.2 KB
/usr/share/racket/collects/redex/examples/compiled/semaphores_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/compiled/semaphores_rkt.zo application/octet-stream root:root 0o644 31.1 KB
/usr/share/racket/collects/redex/examples/compiled/stlc_rkt.dep text/plain root:root 0o644 361 bytes
/usr/share/racket/collects/redex/examples/compiled/stlc_rkt.zo application/octet-stream root:root 0o644 56.5 KB
/usr/share/racket/collects/redex/examples/compiled/subject-reduction_rkt.dep text/plain root:root 0o644 361 bytes
/usr/share/racket/collects/redex/examples/compiled/subject-reduction_rkt.zo application/octet-stream root:root 0o644 30.5 KB
/usr/share/racket/collects/redex/examples/compiled/subst_rkt.dep text/plain root:root 0o644 223 bytes
/usr/share/racket/collects/redex/examples/compiled/subst_rkt.zo application/octet-stream root:root 0o644 26.6 KB
/usr/share/racket/collects/redex/examples/compiled/threads_rkt.dep text/plain root:root 0o644 361 bytes
/usr/share/racket/collects/redex/examples/compiled/threads_rkt.zo application/octet-stream root:root 0o644 21.1 KB
/usr/share/racket/collects/redex/examples/compiled/types_rkt.dep text/plain root:root 0o644 253 bytes
/usr/share/racket/collects/redex/examples/compiled/types_rkt.zo application/octet-stream root:root 0o644 19.5 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/ root:root 0o755
/usr/share/racket/collects/redex/examples/cont-mark-transform/CMT-test.rkt text/plain root:root 0o644 8.2 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/CMT.rkt text/plain root:root 0o644 6.7 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/SL-semantics-test.rkt text/plain root:root 0o644 9.9 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/SL-semantics.rkt text/plain root:root 0o644 4.1 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/SL-syntax.rkt text/plain root:root 0o644 879 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/TL-semantics-test.rkt text/plain root:root 0o644 367 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/TL-semantics.rkt text/plain root:root 0o644 393 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/TL-syntax.rkt text/plain root:root 0o644 444 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/all-test.rkt text/plain root:root 0o644 156 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/common.rkt text/plain root:root 0o644 2.6 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/CMT-test_rkt.dep text/plain root:root 0o644 862 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/CMT-test_rkt.zo application/octet-stream root:root 0o644 14.1 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/CMT_rkt.dep text/plain root:root 0o644 427 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/CMT_rkt.zo application/octet-stream root:root 0o644 40.7 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-semantics-test_rkt.dep text/plain root:root 0o644 649 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-semantics-test_rkt.zo application/octet-stream root:root 0o644 13.1 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-semantics_rkt.dep text/plain root:root 0o644 280 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-semantics_rkt.zo application/octet-stream root:root 0o644 54.7 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-syntax_rkt.dep text/plain root:root 0o644 280 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/SL-syntax_rkt.zo application/octet-stream root:root 0o644 16.0 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-semantics-test_rkt.dep text/plain root:root 0o644 505 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-semantics-test_rkt.zo application/octet-stream root:root 0o644 2.1 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-semantics_rkt.dep text/plain root:root 0o644 427 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-semantics_rkt.zo application/octet-stream root:root 0o644 1.6 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-syntax_rkt.dep text/plain root:root 0o644 208 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/TL-syntax_rkt.zo application/octet-stream root:root 0o644 9.9 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/all-test_rkt.dep text/plain root:root 0o644 454 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/all-test_rkt.zo application/octet-stream root:root 0o644 425 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/common_rkt.dep text/plain root:root 0o644 655 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/common_rkt.zo application/octet-stream root:root 0o644 18.1 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.dep text/plain root:root 0o644 790 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.zo application/octet-stream root:root 0o644 28.9 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/test-util_rkt.dep text/plain root:root 0o644 277 bytes
/usr/share/racket/collects/redex/examples/cont-mark-transform/compiled/test-util_rkt.zo application/octet-stream root:root 0o644 1.7 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/randomized-tests.rkt text/plain root:root 0o644 7.6 KB
/usr/share/racket/collects/redex/examples/cont-mark-transform/test-util.rkt text/plain root:root 0o644 1.6 KB
/usr/share/racket/collects/redex/examples/contracts.rkt text/plain root:root 0o644 4.0 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/ root:root 0o755
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/multi-val_rkt.dep text/plain root:root 0o644 286 bytes
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/multi-val_rkt.zo application/octet-stream root:root 0o644 30.8 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/sos_rkt.dep text/plain root:root 0o644 361 bytes
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/sos_rkt.zo application/octet-stream root:root 0o644 37.8 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/typing-rules-no-ellipses_rkt.dep text/plain root:root 0o644 408 bytes
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/typing-rules-no-ellipses_rkt.zo application/octet-stream root:root 0o644 27.1 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/typing-rules_rkt.dep text/plain root:root 0o644 408 bytes
/usr/share/racket/collects/redex/examples/define-judgment-form/compiled/typing-rules_rkt.zo application/octet-stream root:root 0o644 31.5 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/multi-val.rkt text/plain root:root 0o644 2.1 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/sos.rkt text/plain root:root 0o644 4.8 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/typing-rules-no-ellipses.rkt text/plain root:root 0o644 2.1 KB
/usr/share/racket/collects/redex/examples/define-judgment-form/typing-rules.rkt text/plain root:root 0o644 3.8 KB
/usr/share/racket/collects/redex/examples/delim-cont/ root:root 0o755
/usr/share/racket/collects/redex/examples/delim-cont/README.txt text/plain root:root 0o644 586 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/delim-cont/compiled/grammar_rkt.dep text/plain root:root 0o644 223 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/grammar_rkt.zo application/octet-stream root:root 0o644 15.0 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/meta_rkt.dep text/plain root:root 0o644 284 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/meta_rkt.zo application/octet-stream root:root 0o644 66.3 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/model-impl_rkt.dep text/plain root:root 0o644 176 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/model-impl_rkt.zo application/octet-stream root:root 0o644 4.2 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.dep text/plain root:root 0o644 602 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.zo application/octet-stream root:root 0o644 5.4 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/randomized-tests_rkt.dep text/plain root:root 0o644 602 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/randomized-tests_rkt.zo application/octet-stream root:root 0o644 56.9 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/reduce_rkt.dep text/plain root:root 0o644 342 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/reduce_rkt.zo application/octet-stream root:root 0o644 46.9 KB
/usr/share/racket/collects/redex/examples/delim-cont/compiled/test_rkt.dep text/plain root:root 0o644 387 bytes
/usr/share/racket/collects/redex/examples/delim-cont/compiled/test_rkt.zo application/octet-stream root:root 0o644 14.9 KB
/usr/share/racket/collects/redex/examples/delim-cont/grammar.rkt text/plain root:root 0o644 2.3 KB
/usr/share/racket/collects/redex/examples/delim-cont/meta.rkt text/plain root:root 0o644 4.9 KB
/usr/share/racket/collects/redex/examples/delim-cont/model-impl.rkt text/plain root:root 0o644 1.9 KB
/usr/share/racket/collects/redex/examples/delim-cont/randomized-tests-test.rkt text/plain root:root 0o644 3.5 KB
/usr/share/racket/collects/redex/examples/delim-cont/randomized-tests.rkt text/plain root:root 0o644 17.8 KB
/usr/share/racket/collects/redex/examples/delim-cont/reduce.rkt text/plain root:root 0o644 8.4 KB
/usr/share/racket/collects/redex/examples/delim-cont/test.rkt text/plain root:root 0o644 33.1 KB
/usr/share/racket/collects/redex/examples/info.rkt text/plain root:root 0o644 66 bytes
/usr/share/racket/collects/redex/examples/letrec.rkt text/plain root:root 0o644 3.1 KB
/usr/share/racket/collects/redex/examples/list-machine/ root:root 0o755
/usr/share/racket/collects/redex/examples/list-machine/README.txt text/plain root:root 0o644 701 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/list-machine/compiled/list-machine-typing_rkt.dep text/plain root:root 0o644 339 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/list-machine-typing_rkt.zo application/octet-stream root:root 0o644 64.2 KB
/usr/share/racket/collects/redex/examples/list-machine/compiled/list-machine_rkt.dep text/plain root:root 0o644 271 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/list-machine_rkt.zo application/octet-stream root:root 0o644 38.7 KB
/usr/share/racket/collects/redex/examples/list-machine/compiled/p-sample_rkt.dep text/plain root:root 0o644 414 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/p-sample_rkt.zo application/octet-stream root:root 0o644 3.3 KB
/usr/share/racket/collects/redex/examples/list-machine/compiled/slides_rkt.dep text/plain root:root 0o644 540 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/slides_rkt.zo application/octet-stream root:root 0o644 13.7 KB
/usr/share/racket/collects/redex/examples/list-machine/compiled/test_rkt.dep text/plain root:root 0o644 414 bytes
/usr/share/racket/collects/redex/examples/list-machine/compiled/test_rkt.zo application/octet-stream root:root 0o644 12.2 KB
/usr/share/racket/collects/redex/examples/list-machine/list-machine-typing.rkt text/plain root:root 0o644 4.5 KB
/usr/share/racket/collects/redex/examples/list-machine/list-machine.rkt text/plain root:root 0o644 2.6 KB
/usr/share/racket/collects/redex/examples/list-machine/p-sample.rkt text/plain root:root 0o644 1.2 KB
/usr/share/racket/collects/redex/examples/list-machine/slides.rkt text/plain root:root 0o644 2.2 KB
/usr/share/racket/collects/redex/examples/list-machine/test.rkt text/plain root:root 0o644 7.1 KB
/usr/share/racket/collects/redex/examples/omega.rkt text/plain root:root 0o644 781 bytes
/usr/share/racket/collects/redex/examples/pi-calculus.rkt text/plain root:root 0o644 15.3 KB
/usr/share/racket/collects/redex/examples/r6rs/ root:root 0o755
/usr/share/racket/collects/redex/examples/r6rs/README text/plain root:root 0o644 798 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/r6rs/compiled/r6rs-tests_rkt.dep text/plain root:root 0o644 522 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/r6rs-tests_rkt.zo application/octet-stream root:root 0o644 49.7 KB
/usr/share/racket/collects/redex/examples/r6rs/compiled/r6rs_rkt.dep text/plain root:root 0o644 257 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/r6rs_rkt.zo application/octet-stream root:root 0o644 280.0 KB
/usr/share/racket/collects/redex/examples/r6rs/compiled/racket-vs-redex_rkt.dep text/plain root:root 0o644 242 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/racket-vs-redex_rkt.zo application/octet-stream root:root 0o644 421 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/show-examples_rkt.dep text/plain root:root 0o644 260 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/show-examples_rkt.zo application/octet-stream root:root 0o644 2.5 KB
/usr/share/racket/collects/redex/examples/r6rs/compiled/test_rkt.dep text/plain root:root 0o644 312 bytes
/usr/share/racket/collects/redex/examples/r6rs/compiled/test_rkt.zo application/octet-stream root:root 0o644 31.3 KB
/usr/share/racket/collects/redex/examples/r6rs/r6rs-tests.rkt text/plain root:root 0o644 80.4 KB
/usr/share/racket/collects/redex/examples/r6rs/r6rs.rkt text/plain root:root 0o644 38.9 KB
/usr/share/racket/collects/redex/examples/r6rs/racket-vs-redex.rkt text/plain root:root 0o644 344 bytes
/usr/share/racket/collects/redex/examples/r6rs/show-examples.rkt text/plain root:root 0o644 1.6 KB
/usr/share/racket/collects/redex/examples/r6rs/test.rkt text/plain root:root 0o644 7.7 KB
/usr/share/racket/collects/redex/examples/racket-machine/ root:root 0o755
/usr/share/racket/collects/redex/examples/racket-machine/compiled/ root:root 0o755
/usr/share/racket/collects/redex/examples/racket-machine/compiled/examples_rkt.dep text/plain root:root 0o644 601 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/examples_rkt.zo application/octet-stream root:root 0o644 9.1 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/grammar_rkt.dep text/plain root:root 0o644 223 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/grammar_rkt.zo application/octet-stream root:root 0o644 10.7 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/impl-eval_rkt.dep text/plain root:root 0o644 449 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/impl-eval_rkt.zo application/octet-stream root:root 0o644 7.5 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/impl-exec_rkt.dep text/plain root:root 0o644 281 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/impl-exec_rkt.zo application/octet-stream root:root 0o644 473 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/model-impl_rkt.dep text/plain root:root 0o644 476 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/model-impl_rkt.zo application/octet-stream root:root 0o644 28.4 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/randomized-tests-test_rkt.dep text/plain root:root 0o644 297 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/randomized-tests-test_rkt.zo application/octet-stream root:root 0o644 1.1 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/randomized-tests_rkt.dep text/plain root:root 0o644 726 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/randomized-tests_rkt.zo application/octet-stream root:root 0o644 38.2 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/reduction-test_rkt.dep text/plain root:root 0o644 353 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/reduction-test_rkt.zo application/octet-stream root:root 0o644 18.6 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/reduction_rkt.dep text/plain root:root 0o644 350 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/reduction_rkt.zo application/octet-stream root:root 0o644 207.3 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/util_rkt.dep text/plain root:root 0o644 288 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/util_rkt.zo application/octet-stream root:root 0o644 12.7 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/verification-test_rkt.dep text/plain root:root 0o644 358 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/verification-test_rkt.zo application/octet-stream root:root 0o644 8.1 KB
/usr/share/racket/collects/redex/examples/racket-machine/compiled/verification_rkt.dep text/plain root:root 0o644 350 bytes
/usr/share/racket/collects/redex/examples/racket-machine/compiled/verification_rkt.zo application/octet-stream root:root 0o644 197.4 KB
/usr/share/racket/collects/redex/examples/racket-machine/examples.rkt text/plain root:root 0o644 3.2 KB
/usr/share/racket/collects/redex/examples/racket-machine/grammar.rkt text/plain root:root 0o644 687 bytes
/usr/share/racket/collects/redex/examples/racket-machine/impl-eval.rkt text/plain root:root 0o644 1.9 KB
/usr/share/racket/collects/redex/examples/racket-machine/impl-exec.rkt text/plain root:root 0o644 180 bytes
/usr/share/racket/collects/redex/examples/racket-machine/model-impl.rkt text/plain root:root 0o644 8.3 KB
/usr/share/racket/collects/redex/examples/racket-machine/randomized-tests-test.rkt text/plain root:root 0o644 881 bytes
/usr/share/racket/collects/redex/examples/racket-machine/randomized-tests.rkt text/plain root:root 0o644 12.7 KB
/usr/share/racket/collects/redex/examples/racket-machine/reduction-test.rkt text/plain root:root 0o644 20.4 KB
/usr/share/racket/collects/redex/examples/racket-machine/reduction.rkt text/plain root:root 0o644 14.9 KB
/usr/share/racket/collects/redex/examples/racket-machine/util.rkt text/plain root:root 0o644 341 bytes
/usr/share/racket/collects/redex/examples/racket-machine/verification-test.rkt text/plain root:root 0o644 13.8 KB
/usr/share/racket/collects/redex/examples/racket-machine/verification.rkt text/plain root:root 0o644 14.3 KB
/usr/share/racket/collects/redex/examples/semaphores.rkt text/plain root:root 0o644 4.7 KB
/usr/share/racket/collects/redex/examples/stlc.rkt text/plain root:root 0o644 7.2 KB
/usr/share/racket/collects/redex/examples/subject-reduction.rkt text/plain root:root 0o644 3.0 KB
/usr/share/racket/collects/redex/examples/subst.rkt text/plain root:root 0o644 2.7 KB
/usr/share/racket/collects/redex/examples/threads.rkt text/plain root:root 0o644 2.3 KB
/usr/share/racket/collects/redex/examples/types.rkt text/plain root:root 0o644 1.8 KB
/usr/share/racket/collects/redex/gui.rkt text/plain root:root 0o644 4.5 KB
/usr/share/racket/collects/redex/info.rkt text/plain root:root 0o644 168 bytes
/usr/share/racket/collects/redex/main.rkt text/plain root:root 0o644 211 bytes
/usr/share/racket/collects/redex/pict.rkt text/plain root:root 0o644 4.6 KB
/usr/share/racket/collects/redex/private/ root:root 0o755
/usr/share/racket/collects/redex/private/arrow.rkt text/plain root:root 0o644 4.8 KB
/usr/share/racket/collects/redex/private/compiled/ root:root 0o755
/usr/share/racket/collects/redex/private/compiled/arrow_rkt.dep text/plain root:root 0o644 324 bytes
/usr/share/racket/collects/redex/private/compiled/arrow_rkt.zo application/octet-stream root:root 0o644 7.6 KB
/usr/share/racket/collects/redex/private/compiled/core-layout_rkt.dep text/plain root:root 0o644 849 bytes
/usr/share/racket/collects/redex/private/compiled/core-layout_rkt.zo application/octet-stream root:root 0o644 48.8 KB
/usr/share/racket/collects/redex/private/compiled/cycle-check_rkt.dep text/plain root:root 0o644 371 bytes
/usr/share/racket/collects/redex/private/compiled/cycle-check_rkt.zo application/octet-stream root:root 0o644 6.3 KB
/usr/share/racket/collects/redex/private/compiled/defined-checks_rkt.dep text/plain root:root 0o644 228 bytes
/usr/share/racket/collects/redex/private/compiled/defined-checks_rkt.zo application/octet-stream root:root 0o644 909 bytes
/usr/share/racket/collects/redex/private/compiled/dot_rkt.dep text/plain root:root 0o644 330 bytes
/usr/share/racket/collects/redex/private/compiled/dot_rkt.zo application/octet-stream root:root 0o644 17.5 KB
/usr/share/racket/collects/redex/private/compiled/error_rkt.dep text/plain root:root 0o644 184 bytes
/usr/share/racket/collects/redex/private/compiled/error_rkt.zo application/octet-stream root:root 0o644 3.7 KB
/usr/share/racket/collects/redex/private/compiled/extract-conditions_rkt.dep text/plain root:root 0o644 304 bytes
/usr/share/racket/collects/redex/private/compiled/extract-conditions_rkt.zo application/octet-stream root:root 0o644 4.7 KB
/usr/share/racket/collects/redex/private/compiled/fresh_rkt.dep text/plain root:root 0o644 221 bytes
/usr/share/racket/collects/redex/private/compiled/fresh_rkt.zo application/octet-stream root:root 0o644 8.6 KB
/usr/share/racket/collects/redex/private/compiled/gen-trace_rkt.dep text/plain root:root 0o644 931 bytes
/usr/share/racket/collects/redex/private/compiled/gen-trace_rkt.zo application/octet-stream root:root 0o644 66.5 KB
/usr/share/racket/collects/redex/private/compiled/generate-term_rkt.dep text/plain root:root 0o644 1.1 KB
/usr/share/racket/collects/redex/private/compiled/generate-term_rkt.zo application/octet-stream root:root 0o644 37.6 KB
/usr/share/racket/collects/redex/private/compiled/jdg-gen_rkt.dep text/plain root:root 0o644 596 bytes
/usr/share/racket/collects/redex/private/compiled/jdg-gen_rkt.zo application/octet-stream root:root 0o644 12.4 KB
/usr/share/racket/collects/redex/private/compiled/judgment-form_rkt.dep text/plain root:root 0o644 960 bytes
/usr/share/racket/collects/redex/private/compiled/judgment-form_rkt.zo application/octet-stream root:root 0o644 148.8 KB
/usr/share/racket/collects/redex/private/compiled/keyword-macros_rkt.dep text/plain root:root 0o644 452 bytes
/usr/share/racket/collects/redex/private/compiled/keyword-macros_rkt.zo application/octet-stream root:root 0o644 4.8 KB
/usr/share/racket/collects/redex/private/compiled/loc-wrapper-ct_rkt.dep text/plain root:root 0o644 283 bytes
/usr/share/racket/collects/redex/private/compiled/loc-wrapper-ct_rkt.zo application/octet-stream root:root 0o644 9.7 KB
/usr/share/racket/collects/redex/private/compiled/loc-wrapper-rt_rkt.dep text/plain root:root 0o644 414 bytes
/usr/share/racket/collects/redex/private/compiled/loc-wrapper-rt_rkt.zo application/octet-stream root:root 0o644 9.5 KB
/usr/share/racket/collects/redex/private/compiled/loc-wrapper_rkt.dep text/plain root:root 0o644 327 bytes
/usr/share/racket/collects/redex/private/compiled/loc-wrapper_rkt.zo application/octet-stream root:root 0o644 23.1 KB
/usr/share/racket/collects/redex/private/compiled/match-a-pattern_rkt.dep text/plain root:root 0o644 218 bytes
/usr/share/racket/collects/redex/private/compiled/match-a-pattern_rkt.zo application/octet-stream root:root 0o644 4.6 KB
/usr/share/racket/collects/redex/private/compiled/matcher_rkt.dep text/plain root:root 0o644 702 bytes
/usr/share/racket/collects/redex/private/compiled/matcher_rkt.zo application/octet-stream root:root 0o644 119.0 KB
/usr/share/racket/collects/redex/private/compiled/pat-unify_rkt.dep text/plain root:root 0o644 692 bytes
/usr/share/racket/collects/redex/private/compiled/pat-unify_rkt.zo application/octet-stream root:root 0o644 56.7 KB
/usr/share/racket/collects/redex/private/compiled/pict_rkt.dep text/plain root:root 0o644 1.1 KB
/usr/share/racket/collects/redex/private/compiled/pict_rkt.zo application/octet-stream root:root 0o644 78.1 KB
/usr/share/racket/collects/redex/private/compiled/red-sem-macro-helpers_rkt.dep text/plain root:root 0o644 371 bytes
/usr/share/racket/collects/redex/private/compiled/red-sem-macro-helpers_rkt.zo application/octet-stream root:root 0o644 1.5 KB
/usr/share/racket/collects/redex/private/compiled/reduction-semantics_rkt.dep text/plain root:root 0o644 1.3 KB
/usr/share/racket/collects/redex/private/compiled/reduction-semantics_rkt.zo application/octet-stream root:root 0o644 199.5 KB
/usr/share/racket/collects/redex/private/compiled/rewrite-side-conditions_rkt.dep text/plain root:root 0o644 487 bytes
/usr/share/racket/collects/redex/private/compiled/rewrite-side-conditions_rkt.zo application/octet-stream root:root 0o644 25.6 KB
/usr/share/racket/collects/redex/private/compiled/rg_rkt.dep text/plain root:root 0o644 851 bytes
/usr/share/racket/collects/redex/private/compiled/rg_rkt.zo application/octet-stream root:root 0o644 71.2 KB
/usr/share/racket/collects/redex/private/compiled/search_rkt.dep text/plain root:root 0o644 565 bytes
/usr/share/racket/collects/redex/private/compiled/search_rkt.zo application/octet-stream root:root 0o644 24.5 KB
/usr/share/racket/collects/redex/private/compiled/sexp-diffs_rkt.dep text/plain root:root 0o644 447 bytes
/usr/share/racket/collects/redex/private/compiled/sexp-diffs_rkt.zo application/octet-stream root:root 0o644 8.5 KB
/usr/share/racket/collects/redex/private/compiled/show-derivations_rkt.dep text/plain root:root 0o644 707 bytes
/usr/share/racket/collects/redex/private/compiled/show-derivations_rkt.zo application/octet-stream root:root 0o644 17.1 KB
/usr/share/racket/collects/redex/private/compiled/size-snip_rkt.dep text/plain root:root 0o644 375 bytes
/usr/share/racket/collects/redex/private/compiled/size-snip_rkt.zo application/octet-stream root:root 0o644 6.8 KB
/usr/share/racket/collects/redex/private/compiled/stepper_rkt.dep text/plain root:root 0o644 619 bytes
/usr/share/racket/collects/redex/private/compiled/stepper_rkt.zo application/octet-stream root:root 0o644 62.1 KB
/usr/share/racket/collects/redex/private/compiled/struct_rkt.dep text/plain root:root 0o644 263 bytes
/usr/share/racket/collects/redex/private/compiled/struct_rkt.zo application/octet-stream root:root 0o644 5.2 KB
/usr/share/racket/collects/redex/private/compiled/term-fn_rkt.dep text/plain root:root 0o644 237 bytes
/usr/share/racket/collects/redex/private/compiled/term-fn_rkt.zo application/octet-stream root:root 0o644 7.4 KB
/usr/share/racket/collects/redex/private/compiled/term_rkt.dep text/plain root:root 0o644 604 bytes
/usr/share/racket/collects/redex/private/compiled/term_rkt.zo application/octet-stream root:root 0o644 33.1 KB
/usr/share/racket/collects/redex/private/compiled/trace-layout_rkt.dep text/plain root:root 0o644 439 bytes
/usr/share/racket/collects/redex/private/compiled/trace-layout_rkt.zo application/octet-stream root:root 0o644 19.2 KB
/usr/share/racket/collects/redex/private/compiled/traces_rkt.dep text/plain root:root 0o644 554 bytes
/usr/share/racket/collects/redex/private/compiled/traces_rkt.zo application/octet-stream root:root 0o644 45.4 KB
/usr/share/racket/collects/redex/private/compiled/underscore-allowed_rkt.dep text/plain root:root 0o644 184 bytes
/usr/share/racket/collects/redex/private/compiled/underscore-allowed_rkt.zo application/octet-stream root:root 0o644 304 bytes
/usr/share/racket/collects/redex/private/compiler/ root:root 0o755
/usr/share/racket/collects/redex/private/compiler/compiled/ root:root 0o755
/usr/share/racket/collects/redex/private/compiler/compiled/match_rkt.dep text/plain root:root 0o644 303 bytes
/usr/share/racket/collects/redex/private/compiler/compiled/match_rkt.zo application/octet-stream root:root 0o644 575.1 KB
/usr/share/racket/collects/redex/private/compiler/compiled/redextomatrix_rkt.dep text/plain root:root 0o644 641 bytes
/usr/share/racket/collects/redex/private/compiler/compiled/redextomatrix_rkt.zo application/octet-stream root:root 0o644 34.8 KB
/usr/share/racket/collects/redex/private/compiler/match.rkt text/plain root:root 0o644 76.8 KB
/usr/share/racket/collects/redex/private/compiler/redextomatrix.rkt text/plain root:root 0o644 22.7 KB
/usr/share/racket/collects/redex/private/core-layout.rkt text/plain root:root 0o644 33.6 KB
/usr/share/racket/collects/redex/private/cycle-check.rkt text/plain root:root 0o644 1.5 KB
/usr/share/racket/collects/redex/private/defined-checks.rkt text/plain root:root 0o644 505 bytes
/usr/share/racket/collects/redex/private/dot.rkt text/plain root:root 0o644 11.1 KB
/usr/share/racket/collects/redex/private/error.rkt text/plain root:root 0o644 383 bytes
/usr/share/racket/collects/redex/private/extract-conditions.rkt text/plain root:root 0o644 1.5 KB
/usr/share/racket/collects/redex/private/fresh.rkt text/plain root:root 0o644 2.1 KB
/usr/share/racket/collects/redex/private/gen-trace.rkt text/plain root:root 0o644 25.7 KB
/usr/share/racket/collects/redex/private/generate-term.rkt text/plain root:root 0o644 23.3 KB
/usr/share/racket/collects/redex/private/jdg-gen.rkt text/plain root:root 0o644 5.2 KB
/usr/share/racket/collects/redex/private/judgment-form.rkt text/plain root:root 0o644 69.9 KB
/usr/share/racket/collects/redex/private/keyword-macros.rkt text/plain root:root 0o644 2.5 KB
/usr/share/racket/collects/redex/private/loc-wrapper-ct.rkt text/plain root:root 0o644 3.5 KB
/usr/share/racket/collects/redex/private/loc-wrapper-rt.rkt text/plain root:root 0o644 5.0 KB
/usr/share/racket/collects/redex/private/loc-wrapper.rkt text/plain root:root 0o644 734 bytes
/usr/share/racket/collects/redex/private/match-a-pattern.rkt text/plain root:root 0o644 4.9 KB
/usr/share/racket/collects/redex/private/matcher.rkt text/plain root:root 0o644 80.8 KB
/usr/share/racket/collects/redex/private/pat-unify.rkt text/plain root:root 0o644 21.7 KB
/usr/share/racket/collects/redex/private/pict.rkt text/plain root:root 0o644 51.8 KB
/usr/share/racket/collects/redex/private/red-sem-macro-helpers.rkt text/plain root:root 0o644 1012 bytes
/usr/share/racket/collects/redex/private/reduction-semantics.rkt text/plain root:root 0o644 111.7 KB
/usr/share/racket/collects/redex/private/rewrite-side-conditions.rkt text/plain root:root 0o644 21.6 KB
/usr/share/racket/collects/redex/private/rg.rkt text/plain root:root 0o644 32.3 KB
/usr/share/racket/collects/redex/private/search.rkt text/plain root:root 0o644 10.5 KB
/usr/share/racket/collects/redex/private/sexp-diffs.rkt text/plain root:root 0o644 6.6 KB
/usr/share/racket/collects/redex/private/show-derivations.rkt text/plain root:root 0o644 12.4 KB
/usr/share/racket/collects/redex/private/size-snip.rkt text/plain root:root 0o644 6.8 KB
/usr/share/racket/collects/redex/private/stepper.rkt text/plain root:root 0o644 34.8 KB
/usr/share/racket/collects/redex/private/struct.rkt text/plain root:root 0o644 3.7 KB
/usr/share/racket/collects/redex/private/term-fn.rkt text/plain root:root 0o644 3.6 KB
/usr/share/racket/collects/redex/private/term.rkt text/plain root:root 0o644 16.8 KB
/usr/share/racket/collects/redex/private/trace-layout.rkt text/plain root:root 0o644 7.8 KB
/usr/share/racket/collects/redex/private/traces.rkt text/plain root:root 0o644 33.7 KB
/usr/share/racket/collects/redex/private/underscore-allowed.rkt text/plain root:root 0o644 160 bytes
/usr/share/racket/collects/redex/redex.scrbl text/plain root:root 0o644 718 bytes
/usr/share/racket/collects/redex/reduction-semantics.rkt text/plain root:root 0o644 3.1 KB
/usr/share/racket/collects/redex/scribblings/ root:root 0o755
/usr/share/racket/collects/redex/scribblings/compiled/ root:root 0o755
/usr/share/racket/collects/redex/scribblings/compiled/ref_scrbl.dep text/plain root:root 0o644 634 bytes
/usr/share/racket/collects/redex/scribblings/compiled/ref_scrbl.zo application/octet-stream root:root 0o644 452.0 KB
/usr/share/racket/collects/redex/scribblings/compiled/tut-util_rkt.dep text/plain root:root 0o644 398 bytes
/usr/share/racket/collects/redex/scribblings/compiled/tut-util_rkt.zo application/octet-stream root:root 0o644 6.8 KB
/usr/share/racket/collects/redex/scribblings/compiled/tut_scrbl.dep text/plain root:root 0o644 923 bytes
/usr/share/racket/collects/redex/scribblings/compiled/tut_scrbl.zo application/octet-stream root:root 0o644 134.7 KB
/usr/share/racket/collects/redex/scribblings/ref.scrbl text/plain root:root 0o644 122.6 KB
/usr/share/racket/collects/redex/scribblings/tut-util.rkt text/plain root:root 0o644 2.2 KB
/usr/share/racket/collects/redex/scribblings/tut.scrbl text/plain root:root 0o644 43.6 KB
/usr/share/racket/collects/redex/tut-subst.rkt text/plain root:root 0o644 3.1 KB