/usr/share/racket/pkgs/redex-examples/redex/ is in racket-common 6.1-4.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/racket/pkgs/redex-examples/redex/examples/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/README
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/arithmetic.rkt
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/beginner.rkt
|
text/plain | root:root | 0o644 | 26.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cbn-letrec.rkt
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/church.rkt
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/combinators.rkt
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compatible-closure.rkt
|
text/plain | root:root | 0o644 | 279 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/arithmetic_rkt.dep
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/arithmetic_rkt.zo
|
application/octet-stream | root:root | 0o644 | 15.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/beginner_rkt.dep
|
text/plain | root:root | 0o644 | 374 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/beginner_rkt.zo
|
application/octet-stream | root:root | 0o644 | 125.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/cbn-letrec_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/cbn-letrec_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/church_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/church_rkt.zo
|
application/octet-stream | root:root | 0o644 | 23.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/combinators_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/combinators_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/compatible-closure_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/compatible-closure_rkt.zo
|
application/octet-stream | root:root | 0o644 | 10.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/contracts_rkt.dep
|
text/plain | root:root | 0o644 | 329 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/contracts_rkt.zo
|
application/octet-stream | root:root | 0o644 | 31.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/info_rkt.dep
|
text/plain | root:root | 0o644 | 164 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/info_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/let-poly_rkt.dep
|
text/plain | root:root | 0o644 | 649 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/let-poly_rkt.zo
|
application/octet-stream | root:root | 0o644 | 163.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/letrec_rkt.dep
|
text/plain | root:root | 0o644 | 251 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/letrec_rkt.zo
|
application/octet-stream | root:root | 0o644 | 23.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/omega_rkt.dep
|
text/plain | root:root | 0o644 | 251 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/omega_rkt.zo
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/pi-calculus_rkt.dep
|
text/plain | root:root | 0o644 | 284 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/pi-calculus_rkt.zo
|
application/octet-stream | root:root | 0o644 | 83.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/poly-stlc_rkt.dep
|
text/plain | root:root | 0o644 | 477 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/poly-stlc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 67.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/rbtrees_rkt.dep
|
text/plain | root:root | 0o644 | 528 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/rbtrees_rkt.zo
|
application/octet-stream | root:root | 0o644 | 67.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/semaphores_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/semaphores_rkt.zo
|
application/octet-stream | root:root | 0o644 | 32.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists+subst_rkt.dep
|
text/plain | root:root | 0o644 | 527 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists+subst_rkt.zo
|
application/octet-stream | root:root | 0o644 | 79.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists_rkt.dep
|
text/plain | root:root | 0o644 | 564 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists_rkt.zo
|
application/octet-stream | root:root | 0o644 | 62.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc-tests-lib_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc-tests-lib_rkt.zo
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc_rkt.dep
|
text/plain | root:root | 0o644 | 359 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 57.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subject-reduction_rkt.dep
|
text/plain | root:root | 0o644 | 359 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subject-reduction_rkt.zo
|
application/octet-stream | root:root | 0o644 | 30.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subst_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subst_rkt.zo
|
application/octet-stream | root:root | 0o644 | 27.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/threads_rkt.dep
|
text/plain | root:root | 0o644 | 359 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/threads_rkt.zo
|
application/octet-stream | root:root | 0o644 | 21.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/types_rkt.dep
|
text/plain | root:root | 0o644 | 251 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/types_rkt.zo
|
application/octet-stream | root:root | 0o644 | 20.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/CMT-test.rkt
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/CMT.rkt
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics-test.rkt
|
text/plain | root:root | 0o644 | 9.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics.rkt
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/SL-syntax.rkt
|
text/plain | root:root | 0o644 | 879 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics-test.rkt
|
text/plain | root:root | 0o644 | 367 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics.rkt
|
text/plain | root:root | 0o644 | 393 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/TL-syntax.rkt
|
text/plain | root:root | 0o644 | 444 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/all-test.rkt
|
text/plain | root:root | 0o644 | 156 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/common.rkt
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/CMT-test_rkt.dep
|
text/plain | root:root | 0o644 | 860 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/CMT-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 15.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/CMT_rkt.dep
|
text/plain | root:root | 0o644 | 425 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/CMT_rkt.zo
|
application/octet-stream | root:root | 0o644 | 40.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-semantics-test_rkt.dep
|
text/plain | root:root | 0o644 | 647 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-semantics-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 13.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-semantics_rkt.dep
|
text/plain | root:root | 0o644 | 278 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-semantics_rkt.zo
|
application/octet-stream | root:root | 0o644 | 53.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-syntax_rkt.dep
|
text/plain | root:root | 0o644 | 278 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-syntax_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-semantics-test_rkt.dep
|
text/plain | root:root | 0o644 | 503 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-semantics-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-semantics_rkt.dep
|
text/plain | root:root | 0o644 | 425 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-semantics_rkt.zo
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-syntax_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-syntax_rkt.zo
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/all-test_rkt.dep
|
text/plain | root:root | 0o644 | 452 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/all-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 722 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/common_rkt.dep
|
text/plain | root:root | 0o644 | 653 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 803 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/test-util_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/test-util_rkt.zo
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/randomized-tests.rkt
|
text/plain | root:root | 0o644 | 7.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/test-util.rkt
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/contracts.rkt
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/multi-val_rkt.dep
|
text/plain | root:root | 0o644 | 284 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/multi-val_rkt.zo
|
application/octet-stream | root:root | 0o644 | 32.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/sos_rkt.dep
|
text/plain | root:root | 0o644 | 359 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/sos_rkt.zo
|
application/octet-stream | root:root | 0o644 | 35.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules-no-ellipses_rkt.dep
|
text/plain | root:root | 0o644 | 406 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules-no-ellipses_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules_rkt.dep
|
text/plain | root:root | 0o644 | 406 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules_rkt.zo
|
application/octet-stream | root:root | 0o644 | 32.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/multi-val.rkt
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/sos.rkt
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules-no-ellipses.rkt
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules.rkt
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/README.txt
|
text/plain | root:root | 0o644 | 586 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/grammar_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/grammar_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/meta_rkt.dep
|
text/plain | root:root | 0o644 | 282 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/meta_rkt.zo
|
application/octet-stream | root:root | 0o644 | 61.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/model-impl_rkt.dep
|
text/plain | root:root | 0o644 | 174 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/model-impl_rkt.zo
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.dep
|
text/plain | root:root | 0o644 | 600 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 631 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 57.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/reduce_rkt.dep
|
text/plain | root:root | 0o644 | 340 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/reduce_rkt.zo
|
application/octet-stream | root:root | 0o644 | 47.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/test_rkt.dep
|
text/plain | root:root | 0o644 | 385 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 15.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/grammar.rkt
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/meta.rkt
|
text/plain | root:root | 0o644 | 4.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/model-impl.rkt
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/randomized-tests-test.rkt
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt
|
text/plain | root:root | 0o644 | 17.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/reduce.rkt
|
text/plain | root:root | 0o644 | 8.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/test.rkt
|
text/plain | root:root | 0o644 | 33.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/info.rkt
|
text/plain | root:root | 0o644 | 825 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/let-poly.rkt
|
text/plain | root:root | 0o644 | 23.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/letrec.rkt
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/README.txt
|
text/plain | root:root | 0o644 | 701 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine-typing_rkt.dep
|
text/plain | root:root | 0o644 | 352 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine-typing_rkt.zo
|
application/octet-stream | root:root | 0o644 | 67.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine_rkt.dep
|
text/plain | root:root | 0o644 | 284 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine_rkt.zo
|
application/octet-stream | root:root | 0o644 | 40.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/p-sample_rkt.dep
|
text/plain | root:root | 0o644 | 412 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/p-sample_rkt.zo
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/slides_rkt.dep
|
text/plain | root:root | 0o644 | 538 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/slides_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/test_rkt.dep
|
text/plain | root:root | 0o644 | 412 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/list-machine-typing.rkt
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/list-machine.rkt
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/p-sample.rkt
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/slides.rkt
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/test.rkt
|
text/plain | root:root | 0o644 | 7.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/omega.rkt
|
text/plain | root:root | 0o644 | 781 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/pi-calculus.rkt
|
text/plain | root:root | 0o644 | 15.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/poly-stlc.rkt
|
text/plain | root:root | 0o644 | 8.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/README
|
text/plain | root:root | 0o644 | 798 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/r6rs-tests_rkt.dep
|
text/plain | root:root | 0o644 | 512 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/r6rs-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 49.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/r6rs_rkt.dep
|
text/plain | root:root | 0o644 | 255 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/r6rs_rkt.zo
|
application/octet-stream | root:root | 0o644 | 273.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/racket-vs-redex_rkt.dep
|
text/plain | root:root | 0o644 | 232 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/racket-vs-redex_rkt.zo
|
application/octet-stream | root:root | 0o644 | 717 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/show-examples_rkt.dep
|
text/plain | root:root | 0o644 | 258 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/show-examples_rkt.zo
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/test_rkt.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 29.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/r6rs-tests.rkt
|
text/plain | root:root | 0o644 | 80.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/r6rs.rkt
|
text/plain | root:root | 0o644 | 37.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/racket-vs-redex.rkt
|
text/plain | root:root | 0o644 | 344 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/show-examples.rkt
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/test.rkt
|
text/plain | root:root | 0o644 | 7.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/examples_rkt.dep
|
text/plain | root:root | 0o644 | 669 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/examples_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/grammar_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/grammar_rkt.zo
|
application/octet-stream | root:root | 0o644 | 11.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-eval_rkt.dep
|
text/plain | root:root | 0o644 | 447 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-eval_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-exec_rkt.dep
|
text/plain | root:root | 0o644 | 279 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-exec_rkt.zo
|
application/octet-stream | root:root | 0o644 | 771 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/model-impl_rkt.dep
|
text/plain | root:root | 0o644 | 474 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/model-impl_rkt.zo
|
application/octet-stream | root:root | 0o644 | 21.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests-test_rkt.dep
|
text/plain | root:root | 0o644 | 295 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 724 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 37.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction-test_rkt.dep
|
text/plain | root:root | 0o644 | 351 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.6 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction_rkt.dep
|
text/plain | root:root | 0o644 | 348 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction_rkt.zo
|
application/octet-stream | root:root | 0o644 | 209.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/util_rkt.dep
|
text/plain | root:root | 0o644 | 286 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/util_rkt.zo
|
application/octet-stream | root:root | 0o644 | 13.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/verification-test_rkt.dep
|
text/plain | root:root | 0o644 | 356 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/verification-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 8.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/verification_rkt.dep
|
text/plain | root:root | 0o644 | 348 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/verification_rkt.zo
|
application/octet-stream | root:root | 0o644 | 194.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/examples.rkt
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/grammar.rkt
|
text/plain | root:root | 0o644 | 687 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/impl-eval.rkt
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/impl-exec.rkt
|
text/plain | root:root | 0o644 | 180 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/model-impl.rkt
|
text/plain | root:root | 0o644 | 8.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/randomized-tests-test.rkt
|
text/plain | root:root | 0o644 | 881 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/randomized-tests.rkt
|
text/plain | root:root | 0o644 | 12.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/reduction-test.rkt
|
text/plain | root:root | 0o644 | 20.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/reduction.rkt
|
text/plain | root:root | 0o644 | 14.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/util.rkt
|
text/plain | root:root | 0o644 | 341 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/verification-test.rkt
|
text/plain | root:root | 0o644 | 13.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/verification.rkt
|
text/plain | root:root | 0o644 | 14.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/rbtrees.rkt
|
text/plain | root:root | 0o644 | 5.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/semaphores.rkt
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/stlc+lists+subst.rkt
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/stlc+lists.rkt
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/stlc-tests-lib.rkt
|
text/plain | root:root | 0o644 | 6.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/stlc.rkt
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/subject-reduction.rkt
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/subst.rkt
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/threads.rkt
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/types.rkt
|
text/plain | root:root | 0o644 | 1.8 KB |