/usr/share/racket/pkgs/redex-doc/ 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-doc/LICENSE.txt
|
text/plain | root:root | 0o644 | 538 bytes |
/usr/share/racket/pkgs/redex-doc/info.rkt
|
text/plain | root:root | 0o644 | 487 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 | 889 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.1 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 | 3.7 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 | 23.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark_scrbl.dep
|
text/plain | root:root | 0o644 | 802 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/benchmark_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 46.4 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.4 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.0 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 | 890 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 | 606 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.3 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 | 974 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/compiled/tut_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 128.2 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 | 28.4 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 | 26.9 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 | 36.6 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 | 20.4 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 | 51.8 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 | 11.8 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 | 23.3 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 | 26.3 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 | 23.8 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 | 44.0 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 | 18.2 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 | 20.8 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 | 36.5 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 | 26.8 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 | 34.0 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 | 28.9 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 | 50.8 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 | 14.3 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 | 22.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 | 6.9 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 | 17.7 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 | 23.1 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 | 30.5 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 | 9.2 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 | 53.3 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.0 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 | 33.9 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 | 27.2 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 | 50.6 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 | 31.8 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.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-thu-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-thu-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-thu-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/lab-thu-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 2.8 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.4 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 | 10.8 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 | 3.8 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.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/long-tut_scrbl.dep
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/long-tut_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 2.5 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 | 87.3 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 | 9.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/shared_rkt.dep
|
text/plain | root:root | 0o644 | 558 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/shared_rkt.zo
|
application/octet-stream | root:root | 0o644 | 26.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu-aft_scrbl.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu-aft_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu-mor_scrbl.dep
|
text/plain | root:root | 0o644 | 302 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/compiled/thu-mor_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 2.4 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 | 30.3 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 | 42.2 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 | 59.3 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 | 42.3 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.3 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-thu-aft.scrbl
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/lab-thu-mor.scrbl
|
text/plain | root:root | 0o644 | 1.1 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 | 1010 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 | 874 bytes |
/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.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/subject-reduction.png
|
image/png | root:root | 0o644 | 31.1 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/thu-aft.scrbl
|
text/plain | root:root | 0o644 | 478 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/thu-mor.scrbl
|
text/plain | root:root | 0o644 | 900 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/long-tut/traces.png
|
image/png | root:root | 0o644 | 110.9 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 | 318 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/common_rkt.zo
|
application/octet-stream | root:root | 0o644 | 9.5 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.3 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.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/languages_scrbl.dep
|
text/plain | root:root | 0o644 | 563 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/languages_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 25.0 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/other-relations_scrbl.dep
|
text/plain | root:root | 0o644 | 598 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/other-relations_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 90.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/patterns_scrbl.dep
|
text/plain | root:root | 0o644 | 598 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/patterns_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 41.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/reduction-relations_scrbl.dep
|
text/plain | root:root | 0o644 | 598 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/reduction-relations_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 36.6 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 | 28.6 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/testing_scrbl.dep
|
text/plain | root:root | 0o644 | 598 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/testing_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 139.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/typesetting_scrbl.dep
|
text/plain | root:root | 0o644 | 626 bytes |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/compiled/typesetting_scrbl.zo
|
application/octet-stream | root:root | 0o644 | 136.6 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 | 5.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/other-relations.scrbl
|
text/plain | root:root | 0o644 | 20.4 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/patterns.scrbl
|
text/plain | root:root | 0o644 | 14.5 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/reduction-relations.scrbl
|
text/plain | root:root | 0o644 | 11.8 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/terms.scrbl
|
text/plain | root:root | 0o644 | 8.3 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/testing.scrbl
|
text/plain | root:root | 0o644 | 38.9 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/typesetting-and-macros.scrbl
|
text/plain | root:root | 0o644 | 5.7 KB |
/usr/share/racket/pkgs/redex-doc/redex/scribblings/ref/typesetting.scrbl
|
text/plain | root:root | 0o644 | 40.7 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 | 43.8 KB |