/usr/share/racket/pkgs/redex-examples/ is in racket-common 6.3-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/racket/pkgs/redex-examples/LICENSE.txt
|
text/plain | root:root | 0o644 | 543 bytes |
/usr/share/racket/pkgs/redex-examples/info.rkt
|
text/plain | root:root | 0o644 | 364 bytes |
/usr/share/racket/pkgs/redex-examples/redex/
|
root:root | 0o755 | ||
/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.9 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 | 12.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/beginner_rkt.dep
|
text/plain | root:root | 0o644 | 329 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/beginner_rkt.zo
|
application/octet-stream | root:root | 0o644 | 102.9 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 | 23.7 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 | 19.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 | 12.9 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 | 8.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/contracts_rkt.dep
|
text/plain | root:root | 0o644 | 266 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/contracts_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.4 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.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/lazy_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/lazy_rkt.zo
|
application/octet-stream | root:root | 0o644 | 97.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/let-poly_rkt.dep
|
text/plain | root:root | 0o644 | 604 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/let-poly_rkt.zo
|
application/octet-stream | root:root | 0o644 | 136.6 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 | 18.7 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 | 10.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/pi-calculus_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/pi-calculus_rkt.zo
|
application/octet-stream | root:root | 0o644 | 67.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/poly-stlc_rkt.dep
|
text/plain | root:root | 0o644 | 414 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/poly-stlc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 59.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/rbtrees_rkt.dep
|
text/plain | root:root | 0o644 | 483 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/rbtrees_rkt.zo
|
application/octet-stream | root:root | 0o644 | 58.7 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 | 24.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists+subst_rkt.dep
|
text/plain | root:root | 0o644 | 464 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists+subst_rkt.zo
|
application/octet-stream | root:root | 0o644 | 68.1 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists_rkt.dep
|
text/plain | root:root | 0o644 | 501 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc+lists_rkt.zo
|
application/octet-stream | root:root | 0o644 | 54.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 | 22.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc_rkt.dep
|
text/plain | root:root | 0o644 | 314 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/stlc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 44.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subject-reduction_rkt.dep
|
text/plain | root:root | 0o644 | 314 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/subject-reduction_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.0 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 | 22.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/threads_rkt.dep
|
text/plain | root:root | 0o644 | 314 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/compiled/threads_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.0 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 | 16.7 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 | 815 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/CMT-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 15.9 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 | 33.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/SL-semantics-test_rkt.dep
|
text/plain | root:root | 0o644 | 602 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.2 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 | 40.9 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 | 14.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/TL-semantics-test_rkt.dep
|
text/plain | root:root | 0o644 | 458 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.3 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 | 9.3 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 | 758 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/common_rkt.dep
|
text/plain | root:root | 0o644 | 608 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.7 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 758 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/cont-mark-transform/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.3 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 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/multi-val_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/sos_rkt.dep
|
text/plain | root:root | 0o644 | 314 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/sos_rkt.zo
|
application/octet-stream | root:root | 0o644 | 33.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules-no-ellipses_rkt.dep
|
text/plain | root:root | 0o644 | 361 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 | 25.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules_rkt.dep
|
text/plain | root:root | 0o644 | 361 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/define-judgment-form/compiled/typing-rules_rkt.zo
|
application/octet-stream | root:root | 0o644 | 29.1 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 | 714 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 | 14.2 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 | 49.5 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 | 5.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.dep
|
text/plain | root:root | 0o644 | 555 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 586 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/delim-cont/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 55.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 | 39.9 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.5 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/lazy.rkt
|
text/plain | root:root | 0o644 | 13.0 KB |
/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 | 289 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine-typing_rkt.zo
|
application/octet-stream | root:root | 0o644 | 66.9 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine_rkt.dep
|
text/plain | root:root | 0o644 | 221 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/list-machine_rkt.zo
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/p-sample_rkt.dep
|
text/plain | root:root | 0o644 | 349 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/p-sample_rkt.zo
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/slides_rkt.dep
|
text/plain | root:root | 0o644 | 493 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/slides_rkt.zo
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/test_rkt.dep
|
text/plain | root:root | 0o644 | 349 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/list-machine/compiled/test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 13.0 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 | 467 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/r6rs/compiled/r6rs-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 49.3 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 | 223.4 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 | 752 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.3 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 | 32.7 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 | 624 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/examples_rkt.zo
|
application/octet-stream | root:root | 0o644 | 12.0 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 | 10.0 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-eval_rkt.dep
|
text/plain | root:root | 0o644 | 402 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/impl-eval_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.2 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 | 807 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/model-impl_rkt.dep
|
text/plain | root:root | 0o644 | 429 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/model-impl_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.2 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.5 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests_rkt.dep
|
text/plain | root:root | 0o644 | 679 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/randomized-tests_rkt.zo
|
application/octet-stream | root:root | 0o644 | 38.4 KB |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction-test_rkt.dep
|
text/plain | root:root | 0o644 | 288 bytes |
/usr/share/racket/pkgs/redex-examples/redex/examples/racket-machine/compiled/reduction-test_rkt.zo
|
application/octet-stream | root:root | 0o644 | 18.8 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 | 157.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 | 11.6 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 | 144.1 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.4 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 |