|
|
|
|
.. (parent) |
|
d |
rwxr-xr-x |
4,096 |
debian
|
|
- |
rw-r--r-- |
5,520 |
Makefile
|
|
- |
rw-r--r-- |
1,407 |
a4wide.sty
|
|
- |
rw-r--r-- |
33 |
alternative_attribute_initialisation.k
|
|
- |
rw-r--r-- |
198 |
alternative_attribute_initialisation.tex
|
|
- |
rw-r--r-- |
84 |
attributed_phylum_example.k
|
|
- |
rw-r--r-- |
326 |
attributed_phylum_example.tex
|
|
- |
rw-r--r-- |
713 |
comsub.k
|
|
- |
rw-r--r-- |
1,584 |
comsub.tex
|
|
- |
rw-r--r-- |
258 |
csginmain.c
|
|
- |
rw-r--r-- |
623 |
csginmain.tex
|
|
- |
rw-r--r-- |
311 |
csgoutmain.c
|
|
- |
rw-r--r-- |
727 |
csgoutmain.tex
|
|
- |
rw-r--r-- |
193 |
fibonacci.k
|
|
- |
rw-r--r-- |
526 |
fibonacci.tex
|
|
- |
rw-r--r-- |
428 |
fibonacci_memo.k
|
|
- |
rw-r--r-- |
1,089 |
fibonacci_memo.tex
|
|
- |
rw-r--r-- |
422 |
foreach_equiv.k
|
|
- |
rw-r--r-- |
738 |
foreach_equiv.tex
|
|
- |
rw-r--r-- |
535 |
foreach_equiv_afterforeach.k
|
|
- |
rw-r--r-- |
921 |
foreach_equiv_afterforeach.tex
|
|
- |
rw-r--r-- |
1,027 |
foreach_equivalence.k
|
|
- |
rw-r--r-- |
1,697 |
foreach_equivalence.tex
|
|
- |
rw-r--r-- |
165 |
foreach_pattern_statement_example.k
|
|
- |
rw-r--r-- |
413 |
foreach_pattern_statement_example.tex
|
|
- |
rw-r--r-- |
121 |
foreach_statement_example.k
|
|
- |
rw-r--r-- |
335 |
foreach_statement_example.tex
|
|
- |
rw-r--r-- |
234 |
foreach_with_statement_example.k
|
|
- |
rw-r--r-- |
540 |
foreach_with_statement_example.tex
|
|
- |
rw-r--r-- |
373 |
function_definition_equiv.k
|
|
- |
rw-r--r-- |
718 |
function_definition_equiv.tex
|
|
- |
rw-r--r-- |
106 |
function_definition_example_dollar.k
|
|
- |
rw-r--r-- |
334 |
function_definition_example_dollar.tex
|
|
- |
rw-r--r-- |
121 |
function_definition_example_newest.k
|
|
- |
rw-r--r-- |
381 |
function_definition_example_newest.tex
|
|
- |
rw-r--r-- |
204 |
funny.k
|
|
- |
rw-r--r-- |
503 |
funny.tex
|
|
- |
rw-r--r-- |
689 |
generated_data_type_example.k
|
|
- |
rw-r--r-- |
1,556 |
generated_data_type_example.tex
|
|
- |
rw-r--r-- |
87 |
include_redirection_example.k
|
|
- |
rw-r--r-- |
234 |
include_redirection_example.tex
|
|
- |
rw-r--r-- |
37 |
include_redirection_symbol_example.k
|
|
- |
rw-r--r-- |
195 |
include_redirection_symbol_example.tex
|
|
- |
rw-r--r-- |
82 |
including_in_generated_files_example.k
|
|
- |
rw-r--r-- |
249 |
including_in_generated_files_example.tex
|
|
- |
rw-r--r-- |
8,534 |
kimwitu_syntax.tex
|
|
- |
rw-r--r-- |
3,998 |
kimwitu_syntax.y
|
|
- |
rw-r--r-- |
466 |
knuth1.k
|
|
- |
rw-r--r-- |
1,101 |
knuth1.tex
|
|
- |
rw-r--r-- |
771 |
knuth2.k
|
|
- |
rw-r--r-- |
1,496 |
knuth2.tex
|
|
- |
rw-r--r-- |
1,039 |
knuth3.k
|
|
- |
rw-r--r-- |
2,305 |
knuth3.tex
|
|
- |
rw-r--r-- |
514 |
knuth4.k
|
|
- |
rw-r--r-- |
1,023 |
knuth4.tex
|
|
- |
rw-r--r-- |
199 |
lex_input_example.l
|
|
- |
rw-r--r-- |
520 |
lex_input_example.tex
|
|
- |
rw-r--r-- |
5,868 |
lgrind.sty
|
|
- |
rw-r--r-- |
1,778 |
license.tex
|
|
- |
rw-r--r-- |
57 |
list_phylum_example.k
|
|
- |
rw-r--r-- |
209 |
list_phylum_example.tex
|
|
- |
rw-r--r-- |
915 |
makefile.make
|
|
- |
rw-r--r-- |
2,240 |
makefile.tex
|
|
- |
rw-r--r-- |
427 |
nats_newer.k
|
|
- |
rw-r--r-- |
1,046 |
nats_newer.tex
|
|
- |
rw-r--r-- |
150 |
natsmain.c
|
|
- |
rw-r--r-- |
411 |
natsmain.tex
|
|
- |
rw-r--r-- |
14 |
non_uniq_declaration_example.k
|
|
- |
rw-r--r-- |
132 |
non_uniq_declaration_example.tex
|
|
- |
rw-r--r-- |
697 |
patchlvl
|
|
- |
rw-r--r-- |
170 |
pattern_equivalence.k
|
|
- |
rw-r--r-- |
374 |
pattern_equivalence.tex
|
|
- |
rw-r--r-- |
192 |
pattern_parameterized.k
|
|
- |
rw-r--r-- |
412 |
pattern_parameterized.tex
|
|
- |
rw-r--r-- |
86 |
phylum_example.k
|
|
- |
rw-r--r-- |
319 |
phylum_example.tex
|
|
- |
rw-r--r-- |
139 |
printer_function_example.k
|
|
- |
rw-r--r-- |
376 |
printer_function_example.tex
|
|
- |
rw-r--r-- |
415 |
printer_function_with_control_view_indentation.k
|
|
- |
rw-r--r-- |
1,024 |
printer_function_with_control_view_indentation.tex
|
|
- |
rw-r--r-- |
357 |
printer_function_with_indentation.k
|
|
- |
rw-r--r-- |
1,036 |
printer_function_with_indentation.tex
|
|
- |
rw-r--r-- |
365 |
printer_function_with_view_indentation.k
|
|
- |
rw-r--r-- |
904 |
printer_function_with_view_indentation.tex
|
|
- |
rw-r--r-- |
43 |
redefine_LARGEPRIME_example.k
|
|
- |
rw-r--r-- |
186 |
redefine_LARGEPRIME_example.tex
|
|
- |
rw-r--r-- |
28 |
rewrite_rule_example.k
|
|
- |
rw-r--r-- |
151 |
rewrite_rule_example.tex
|
|
- |
rw-r--r-- |
28 |
rewrite_rule_function_example.k
|
|
- |
rw-r--r-- |
157 |
rewrite_rule_function_example.tex
|
|
- |
rw-r--r-- |
72 |
rewrite_rule_general.k
|
|
- |
rw-r--r-- |
223 |
rewrite_rule_general.tex
|
|
- |
rw-r--r-- |
35 |
rewrite_rule_general_example.k
|
|
- |
rw-r--r-- |
169 |
rewrite_rule_general_example.tex
|
|
- |
rw-r--r-- |
57 |
rewrite_view_declaration_example.k
|
|
- |
rw-r--r-- |
199 |
rewrite_view_declaration_example.tex
|
|
- |
rw-r--r-- |
47 |
rewrite_views_example.k
|
|
- |
rw-r--r-- |
181 |
rewrite_views_example.tex
|
|
- |
rw-r--r-- |
268 |
ski.k
|
|
- |
rw-r--r-- |
804 |
ski.tex
|
|
- |
rw-r--r-- |
279 |
skil.l
|
|
- |
rw-r--r-- |
647 |
skil.tex
|
|
- |
rw-r--r-- |
219 |
skimain.c
|
|
- |
rw-r--r-- |
557 |
skimain.tex
|
|
- |
rw-r--r-- |
1,357 |
skiy.tex
|
|
- |
rw-r--r-- |
479 |
skiy.y
|
|
- |
rw-r--r-- |
186 |
storage_classes_example.k
|
|
- |
rw-r--r-- |
395 |
storage_classes_example.tex
|
|
- |
rw-r--r-- |
80 |
structure_file_abstract_syntax_example.k
|
|
- |
rw-r--r-- |
281 |
structure_file_abstract_syntax_example.tex
|
|
- |
rw-r--r-- |
262 |
symbol_table_example.k
|
|
- |
rw-r--r-- |
595 |
symbol_table_example.tex
|
|
- |
rw-r--r-- |
1,888 |
tp.man.bib
|
|
- |
rw-r--r-- |
113,277 |
tp.man.tex
|
|
- |
rw-r--r-- |
52 |
uniq_phylum_example.k
|
|
- |
rw-r--r-- |
206 |
uniq_phylum_example.tex
|
|
- |
rw-r--r-- |
33 |
unparse_control_sequences.k
|
|
- |
rw-r--r-- |
153 |
unparse_control_sequences.tex
|
|
- |
rw-r--r-- |
56 |
unparse_control_view_sequences.k
|
|
- |
rw-r--r-- |
234 |
unparse_control_view_sequences.tex
|
|
- |
rw-r--r-- |
242 |
unparse_definition_example.k
|
|
- |
rw-r--r-- |
641 |
unparse_definition_example.tex
|
|
- |
rw-r--r-- |
153 |
unparse_escaped_brackets_example.k
|
|
- |
rw-r--r-- |
467 |
unparse_escaped_brackets_example.tex
|
|
- |
rw-r--r-- |
26 |
unparse_output.k
|
|
- |
rw-r--r-- |
177 |
unparse_output.tex
|
|
- |
rw-r--r-- |
72 |
unparse_rule_general.k
|
|
- |
rw-r--r-- |
219 |
unparse_rule_general.tex
|
|
- |
rw-r--r-- |
57 |
unparse_view_declaration_example.k
|
|
- |
rw-r--r-- |
199 |
unparse_view_declaration_example.tex
|
|
- |
rw-r--r-- |
77 |
unparse_view_sequences.k
|
|
- |
rw-r--r-- |
302 |
unparse_view_sequences.tex
|
|
- |
rw-r--r-- |
43 |
unparse_views_example.k
|
|
- |
rw-r--r-- |
195 |
unparse_views_example.tex
|
|
- |
rw-r--r-- |
80 |
yacc_abstract_syntax_example.k
|
|
- |
rw-r--r-- |
270 |
yacc_abstract_syntax_example.tex
|
|
- |
rw-r--r-- |
703 |
yacc_input_example.tex
|
|
- |
rw-r--r-- |
245 |
yacc_input_example.y
|