/usr/share/racket/pkgs/redex-doc/ is in racket-common 6.7-3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/racket/pkgs/redex-doc/LICENSE.txt
|
text/plain | root:root | 0o644 | 538 bytes |
/usr/share/racket/pkgs/redex-doc/info.rkt
|
text/plain | root:root | 0o644 | 506 bytes |
/usr/share/racket/pkgs/redex-doc/redex/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/compiled/info_rkt.dep
|
text/plain | root:root | 0o644 | 164 bytes |
/usr/share/racket/pkgs/redex-doc/redex/compiled/info_rkt.zo
|
application/octet-stream | root:root | 0o644 | 789 bytes |
/usr/share/racket/pkgs/redex-doc/redex/compiled/redex_scrbl.dep
|
text/plain | root:root | 0o644 | 785 bytes |
/usr/share/racket/pkgs/redex-doc/redex/compiled/redex_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/info.rkt
|
text/plain | root:root | 0o644 | 93 bytes |
/usr/share/racket/pkgs/redex-doc/redex/redex.scrbl
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl
|
text/plain | root:root | 0o644 | 18.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/benchmark.scrbl
|
text/plain | root:root | 0o644 | 13.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/bug-info.rkt
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/cite.rkt
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark-models_scrbl.dep
|
text/plain | root:root | 0o644 | 549 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark-models_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 25.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark_scrbl.dep
|
text/plain | root:root | 0o644 | 805 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 49.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/bug-info_rkt.dep
|
text/plain | root:root | 0o644 | 209 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/bug-info_rkt.zo
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/cite_rkt.dep
|
text/plain | root:root | 0o644 | 325 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/cite_rkt.zo
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/info_rkt.dep
|
text/plain | root:root | 0o644 | 164 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/info_rkt.zo
|
application/octet-stream | root:root | 0o644 | 790 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/mod-fx_rkt.dep
|
text/plain | root:root | 0o644 | 174 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/mod-fx_rkt.zo
|
application/octet-stream | root:root | 0o644 | 610 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/ref_scrbl.dep
|
text/plain | root:root | 0o644 | 761 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/ref_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/tut-util_rkt.dep
|
text/plain | root:root | 0o644 | 287 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/tut-util_rkt.zo
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/tut_scrbl.dep
|
text/plain | root:root | 0o644 | 977 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/tut_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 139.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/bit-strings.rkt
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/channels.rkt
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/common.rkt
|
text/plain | root:root | 0o644 | 5.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/bit-strings_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/bit-strings_rkt.zo
|
application/octet-stream | root:root | 0o644 | 30.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/channels_rkt.dep
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/channels_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/common_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 39.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/contract_rkt.dep
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/contract_rkt.zo
|
application/octet-stream | root:root | 0o644 | 21.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/extended-exercises_scrbl.dep
|
text/plain | root:root | 0o644 | 395 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/extended-exercises_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 55.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/fsm_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/fsm_rkt.zo
|
application/octet-stream | root:root | 0o644 | 12.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/gc_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/gc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/hanoi_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/hanoi_rkt.zo
|
application/octet-stream | root:root | 0o644 | 27.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/mc_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/mc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 25.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/obj_rkt.dep
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/obj_rkt.zo
|
application/octet-stream | root:root | 0o644 | 47.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/tc_rkt.dep
|
text/plain | root:root | 0o644 | 277 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/compiled/tc_rkt.zo
|
application/octet-stream | root:root | 0o644 | 19.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/contract.rkt
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/extended-exercises.scrbl
|
text/plain | root:root | 0o644 | 14.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/fsm.rkt
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/gc.rkt
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/hanoi.rkt
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/mc.rkt
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/obj.rkt
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/extended-exercises/tc.rkt
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/info.rkt
|
text/plain | root:root | 0o644 | 220 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/close.rkt
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/common.rkt
|
text/plain | root:root | 0o644 | 5.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/close_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/close_rkt.zo
|
application/octet-stream | root:root | 0o644 | 22.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/common_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 39.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-mon-aft_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-mon-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-tue-aft_rkt.dep
|
text/plain | root:root | 0o644 | 286 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-tue-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 36.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-tue-mor_rkt.dep
|
text/plain | root:root | 0o644 | 413 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-tue-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 30.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-aft_rkt.dep
|
text/plain | root:root | 0o644 | 343 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 54.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-mor-exn_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-mor-exn_rkt.zo
|
application/octet-stream | root:root | 0o644 | 15.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-mor_rkt.dep
|
text/plain | root:root | 0o644 | 351 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/delivered-wed-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 23.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/extend-lookup_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/extend-lookup_rkt.zo
|
application/octet-stream | root:root | 0o644 | 7.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-mon-aft_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-mon-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 19.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-tue-aft_rkt.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-tue-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 25.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-tue-mor_rkt.dep
|
text/plain | root:root | 0o644 | 275 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-tue-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 33.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-wed-mor_rkt.dep
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/lab-wed-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/mon-aft_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/mon-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 57.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tc-common_rkt.dep
|
text/plain | root:root | 0o644 | 206 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tc-common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 16.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tue-aft_rkt.dep
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tue-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tue-mor_rkt.dep
|
text/plain | root:root | 0o644 | 345 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/tue-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 28.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/wed-aft_rkt.dep
|
text/plain | root:root | 0o644 | 343 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/wed-aft_rkt.zo
|
application/octet-stream | root:root | 0o644 | 53.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/wed-mor_rkt.dep
|
text/plain | root:root | 0o644 | 351 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/compiled/wed-mor_rkt.zo
|
application/octet-stream | root:root | 0o644 | 33.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-mon-aft.rkt
|
text/plain | root:root | 0o644 | 3.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-tue-aft.rkt
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-tue-mor.rkt
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-wed-aft.rkt
|
text/plain | root:root | 0o644 | 6.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-wed-mor-exn.rkt
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/delivered-wed-mor.rkt
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/extend-lookup.rkt
|
text/plain | root:root | 0o644 | 644 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/lab-mon-aft.rkt
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/lab-tue-aft.rkt
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/lab-tue-mor.rkt
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/lab-wed-mor.rkt
|
text/plain | root:root | 0o644 | 702 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/mon-aft.rkt
|
text/plain | root:root | 0o644 | 7.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/tc-common.rkt
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/tue-aft.rkt
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/tue-mor.rkt
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/wed-aft.rkt
|
text/plain | root:root | 0o644 | 6.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/code/wed-mor.rkt
|
text/plain | root:root | 0o644 | 4.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-mon-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-mon-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 9.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-tue-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-tue-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-tue-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 394 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-tue-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 11.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-wed-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-wed-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-wed-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-wed-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/long-tut_scrbl.dep
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/long-tut_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 5.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/mon-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/mon-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 89.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/mon-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/mon-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/shared_rkt.dep
|
text/plain | root:root | 0o644 | 561 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/shared_rkt.zo
|
application/octet-stream | root:root | 0o644 | 84.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu_scrbl.dep
|
text/plain | root:root | 0o644 | 349 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/tue-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 388 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/tue-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 31.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/tue-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 388 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/tue-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 43.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/wed-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/wed-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 60.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/wed-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/wed-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 43.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/compiled/counter_rkt.dep
|
text/plain | root:root | 0o644 | 248 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/compiled/counter_rkt.zo
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/compiled/ex_rkt.dep
|
text/plain | root:root | 0o644 | 388 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/compiled/ex_rkt.zo
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/counter.rkt
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/exercise/ex.rkt
|
text/plain | root:root | 0o644 | 851 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-mon-aft.scrbl
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-tue-aft.scrbl
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-tue-mor.scrbl
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-wed-aft.scrbl
|
text/plain | root:root | 0o644 | 1003 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-wed-mor.scrbl
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/long-tut.scrbl
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl
|
text/plain | root:root | 0o644 | 13.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/mon-mor.scrbl
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/shared.rkt
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/subject-reduction.png
|
image/png | root:root | 0o644 | 57.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/thu.scrbl
|
text/plain | root:root | 0o644 | 364 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/traces.png
|
image/png | root:root | 0o644 | 198.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/tue-aft.scrbl
|
text/plain | root:root | 0o644 | 4.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/tue-mor.scrbl
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/wed-aft.scrbl
|
text/plain | root:root | 0o644 | 8.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/wed-mor.scrbl
|
text/plain | root:root | 0o644 | 6.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/mod-fx.rkt
|
text/plain | root:root | 0o644 | 63 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref.scrbl
|
text/plain | root:root | 0o644 | 810 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/common.rkt
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/
|
root:root | 0o755 | ||
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/common_rkt.dep
|
text/plain | root:root | 0o644 | 283 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/dynamic-typesetting-and-macros_scrbl.dep
|
text/plain | root:root | 0o644 | 215 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/dynamic-typesetting-and-macros_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/gui_scrbl.dep
|
text/plain | root:root | 0o644 | 507 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/gui_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 74.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/languages_scrbl.dep
|
text/plain | root:root | 0o644 | 601 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/languages_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 64.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/other-relations_scrbl.dep
|
text/plain | root:root | 0o644 | 601 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/other-relations_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 94.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/patterns_scrbl.dep
|
text/plain | root:root | 0o644 | 601 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/patterns_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 43.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/reduction-relations_scrbl.dep
|
text/plain | root:root | 0o644 | 601 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/reduction-relations_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 39.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/terms_scrbl.dep
|
text/plain | root:root | 0o644 | 563 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/terms_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 29.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/testing_scrbl.dep
|
text/plain | root:root | 0o644 | 601 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/testing_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 143.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/typesetting_scrbl.dep
|
text/plain | root:root | 0o644 | 697 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/typesetting_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 193.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/dynamic-typesetting-and-macros.scrbl
|
text/plain | root:root | 0o644 | 399 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/gui.scrbl
|
text/plain | root:root | 0o644 | 19.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/languages.scrbl
|
text/plain | root:root | 0o644 | 17.2 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/other-relations.scrbl
|
text/plain | root:root | 0o644 | 21.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/patterns.scrbl
|
text/plain | root:root | 0o644 | 14.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/reduction-relations.scrbl
|
text/plain | root:root | 0o644 | 12.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/terms.scrbl
|
text/plain | root:root | 0o644 | 8.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/testing.scrbl
|
text/plain | root:root | 0o644 | 39.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/typesetting-and-macros.scrbl
|
text/plain | root:root | 0o644 | 5.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/typesetting.scrbl
|
text/plain | root:root | 0o644 | 47.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/tut-util.rkt
|
text/plain | root:root | 0o644 | 347 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/tut.scrbl
|
text/plain | root:root | 0o644 | 42.5 KB |