Created
April 27, 2017 18:38
-
-
Save otabat/0ffb06fb7517fcd11906086fcc511bee to your computer and use it in GitHub Desktop.
Number of function calls for Shen defun function from program start to test suite end
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 12602491 element? | |
| 6960375 shen.pvar? | |
| 3535830 shen.lazyderef | |
| 3378725 fail | |
| 2390069 shen.compose | |
| 2087153 shen.deref | |
| 2073332 shen.occurs? | |
| 1900416 <-address/or | |
| 1716707 assoc | |
| 1513336 do | |
| 1483004 not | |
| 1409900 shen.valvector | |
| 1116762 shen.reverse_help | |
| 1054006 shen.map-h | |
| 886079 integer? | |
| 886079 shen.integer-test? | |
| 886079 shen.magless | |
| 886079 shen.abs | |
| 787829 shen.+string? | |
| 767933 shen.lzy=! | |
| 610193 shen.ebr | |
| 548393 shen.explode-h | |
| 544455 sum | |
| 509451 shen.bindv | |
| 509350 shen.unbindv | |
| 507183 limit | |
| 506803 shen.newpv | |
| 506803 shen.mk-pvar | |
| 485294 thaw | |
| 439264 shen.incinfs | |
| 392099 shen.pair | |
| 359674 bind | |
| 288205 shen.hdtl | |
| 233227 shen.alphanums? | |
| 216394 unify! | |
| 209419 count-change* | |
| 203743 shen.alpha? | |
| 199508 boolean? | |
| 198589 shen.alphanum? | |
| 190436 variable? | |
| 181862 reverse | |
| 179391 map | |
| 162466 shen.numbyte? | |
| 155796 shen.<digit> | |
| 154205 empty? | |
| 125079 shen.extract_free_vars | |
| 114682 shen.let-macro | |
| 113998 shen.assoc-macro | |
| 113864 shen.@s-macro | |
| 113859 shen.make-string-macro | |
| 113859 shen.output-macro | |
| 113859 shen.error-macro | |
| 113859 macroexpand | |
| 113859 shen.abs-macro | |
| 113859 shen.function-macro | |
| 113859 shen.put/get-macro | |
| 113859 shen.nl-macro | |
| 113859 shen.synonyms-macro | |
| 113859 shen.timer-macro | |
| 113859 shen.datatype-macro | |
| 113859 shen.defprolog-macro | |
| 113859 shen.prolog-macro | |
| 113859 shen.compile-macro | |
| 113859 shen.cases-macro | |
| 113859 shen.input-macro | |
| 113766 shen.walk | |
| 113374 test-harness.exec-macro | |
| 113374 test-harness.report-results-macro | |
| 104709 next-denom | |
| 97841 shen.proc-input+ | |
| 97308 union | |
| 96124 for-each | |
| 78138 shen.<digits> | |
| 76604 shen.strip-protect | |
| 71501 shen.aritycheck-action | |
| 68340 shen.uppercase? | |
| 68340 shen.analyse-variable? | |
| 62210 shen.call-help | |
| 58346 <e> | |
| 57729 read-char-code | |
| 56622 shen.arg->str | |
| 56619 shen.list? | |
| 55287 shen.atom->str | |
| 54908 shen.<colon> | |
| 53763 shen.app | |
| 52549 explode | |
| 51913 hash | |
| 51913 shen.<-dict-bucket | |
| 51913 shen.dict-capacity | |
| 51913 shen.modh | |
| 51913 shen.multiples | |
| 51913 shen.mod | |
| 49476 <-dict/or | |
| 49064 iright | |
| 48876 shen.digit? | |
| 48558 shen.<alpha> | |
| 48518 shen.symbol-code? | |
| 47039 get/or | |
| 45884 shen.extract_vars | |
| 45062 shen.<whitespace> | |
| 39654 shen.<backslash> | |
| 39527 @s | |
| 38156 shen.<stop> | |
| 38156 shen.<predigits> | |
| 38122 subst | |
| 30917 shen.<alphanums> | |
| 30917 shen.<alphanum> | |
| 30230 shen.write-char-and-inc | |
| 30173 length | |
| 30173 shen.length-h | |
| 26391 shen.<whitespaces> | |
| 25810 append | |
| 25770 shen.by_hypothesis | |
| 24231 arity | |
| 24143 fwhen | |
| 23547 shen.chwild | |
| 23493 shen.elim-def | |
| 23181 shen.aah | |
| 23129 shen.udefs* | |
| 23016 shen.lzy== | |
| 21656 shen.<pattern> | |
| 21576 shen.<lsb> | |
| 21576 shen.<st_input> | |
| 21310 identical | |
| 21095 function | |
| 21095 shen.lookup-func | |
| 21056 call | |
| 20746 shen.<lrb> | |
| 20238 shen.<simple_pattern> | |
| 19805 shen.<comment> | |
| 19805 shen.<multiline> | |
| 19805 shen.<singleline> | |
| 19176 shen.<minus> | |
| 19078 shen.<number> | |
| 19078 shen.<plus> | |
| 18985 shen.<lcurly> | |
| 18928 member | |
| 18881 shen.<rcurly> | |
| 18820 shen.<patterns> | |
| 18777 shen.<bar> | |
| 18535 shen.<semicolon> | |
| 18379 shen.<dbq> | |
| 18198 shen.<comma> | |
| 18178 shen.<str> | |
| 18178 shen.<atom> | |
| 17641 shen.<sym> | |
| 17526 shen.t*-hyps | |
| 16509 shen.cl4778 | |
| 16455 shen.cl4838 | |
| 16414 shen.cl4898 | |
| 16364 shen.cl4949 | |
| 16327 shen.cl5000 | |
| 16292 shen.cl5051 | |
| 16231 shen.cl5102 | |
| 16205 shen.cl5147 | |
| 16163 shen.cl5183 | |
| 16012 shen.cl4610 | |
| 15966 shen.cl4661 | |
| 12162 occurrences | |
| 11008 shen.flatten | |
| 10720 shen.aum_to_shen | |
| 10718 shen.catchpoint | |
| 10516 shen.cutpoint | |
| 9825 shen.rcons_form | |
| 9115 concat | |
| 8316 symbol? | |
| 7608 shen.set-key-entry-value | |
| 7250 shen.reduce_help | |
| 6990 shen.<num> | |
| 6624 gensym | |
| 6318 shen.typedf? | |
| 6318 shen.th* | |
| 6318 shen.show | |
| 5930 shen.dh? | |
| 5700 shen.base | |
| 5528 shen.ue | |
| 5424 ok_row? | |
| 5369 shen.sh? | |
| 5154 shen.analyse-symbol? | |
| 5067 shen.linearise_help | |
| 4701 shen.mu_reduction | |
| 4374 shen.<signature-help> | |
| 4249 cut | |
| 4087 next_to | |
| 4077 shen.curry-type | |
| 3900 next_n | |
| 3814 shen.curry | |
| 3716 inferences | |
| 3708 shen.type-theory-enabled? | |
| 3708 shen.t* | |
| 3708 shen.maxinfexceeded? | |
| 3690 shen.<action> | |
| 3431 shen.<rule> | |
| 3372 shen.parameters | |
| 3258 shen.proc-nl | |
| 3164 shen.byte->digit | |
| 3125 n-queens-loop | |
| 3125 all_Ns? | |
| 3099 shen.application_build | |
| 3099 shen.abstraction_build | |
| 3021 test-harness.rcons | |
| 3012 type#l_formula | |
| 2926 shen.iter-list | |
| 2901 type#pattern | |
| 2879 shen.lambda-form | |
| 2877 type#lead | |
| 2866 type#suit | |
| 2860 type#primitive_object | |
| 2858 type#rank | |
| 2837 type#num | |
| 2722 shen.ephemeral_variable? | |
| 2713 shen.insert-l | |
| 2712 shen.<strcontents> | |
| 2712 shen.<strc> | |
| 2700 shen.control-chars | |
| 2591 shen.<st_input1> | |
| 2591 shen.<st_input2> | |
| 2514 shen.remove-bar | |
| 2440 shen.cons_form | |
| 2437 dict-> | |
| 2437 shen.dict-count-> | |
| 2437 dict-count | |
| 2437 shen.dict-update-count | |
| 2437 put | |
| 2437 shen.dict-bucket-> | |
| 2421 shen.extract-pvars | |
| 2252 shen.ue? | |
| 2197 shen.complexity | |
| 2027 shen.add-end | |
| 1969 difference | |
| 1919 shen.placeholders | |
| 1836 shen.cl4497 | |
| 1810 shen.special? | |
| 1761 shen.package-macro | |
| 1761 shen.<rrb> | |
| 1710 get | |
| 1692 shen.sysfunc? | |
| 1688 shen.encode-choices | |
| 1627 shen.<times> | |
| 1608 shen.<anymulti> | |
| 1605 shen.<rules> | |
| 1597 shen.linearise_X | |
| 1476 shen.factor-cn | |
| 1433 shen.extraspecial? | |
| 1422 shen.singleunderline? | |
| 1418 shen.<pattern1> | |
| 1418 shen.<pattern2> | |
| 1352 shen.<expr> | |
| 1308 shen.demodulate | |
| 1272 shen.<name> | |
| 1242 shen.make_mu_application | |
| 1221 shen.ue-sig | |
| 1180 shen.prolog_constant? | |
| 1177 shen.doubleunderline? | |
| 1154 shen.lzy= | |
| 1146 shen.remove-h | |
| 1137 shen.remove_modes | |
| 1106 shen.maxseq | |
| 1105 shen.list->str | |
| 1089 shen.linearise | |
| 1066 pr | |
| 1066 shen.prhush | |
| 1066 stoutput | |
| 1066 shen.prh | |
| 1000 shen.case-form | |
| 976 shen.ue-h? | |
| 976 compile | |
| 917 shen.reduce | |
| 917 shen.free_variable_check | |
| 917 shen.abstract_rule | |
| 917 shen.free_variable_warnings | |
| 917 shen.aritycheck | |
| 892 shen.newcontinuation | |
| 866 shen.<signature> | |
| 839 shen.packageh | |
| 839 shen.internal-symbols | |
| 830 shen.<rsb> | |
| 818 shen.call_the_continuation | |
| 815 remove | |
| 799 shen.pre | |
| 760 shen.eval-without-macros | |
| 756 shen.sigf | |
| 746 mapcan | |
| 702 shen.expt | |
| 699 shen.cond-form | |
| 688 shen.update-symbol-table | |
| 688 shen.compile_to_lambda+ | |
| 688 shen.record-source | |
| 688 shen.compile_to_machine_code | |
| 688 shen.store-arity | |
| 688 shen.compile_to_kl | |
| 688 shen.err-condition | |
| 688 shen.cond-expression | |
| 688 shen.<define> | |
| 688 shen.shen->kl | |
| 688 shen.aritycheck-name | |
| 679 shen.add_test | |
| 679 shen.embed-and | |
| 670 shen.<formula> | |
| 661 shen.recursive_cons_form | |
| 636 shen.mkstr-l | |
| 623 shen.fillvector | |
| 620 shen.newhyps | |
| 590 shen.insert-prolog-variables-help | |
| 559 shen.t*-patterns | |
| 559 shen.result-type | |
| 559 shen.patthyps | |
| 546 shen.product | |
| 520 shen.cc_help | |
| 520 shen.continuation_call | |
| 520 shen.aum | |
| 498 ok_diag_N? | |
| 476 shen.grammar_symbol? | |
| 410 adjoin | |
| 380 shen.resize-vector | |
| 380 shen.resizeprocessvector | |
| 380 shen.copy-vector-stage-2 | |
| 380 shen.copy-vector-stage-1 | |
| 380 shen.copy-vector | |
| 377 shen.<type> | |
| 374 shen.em_help | |
| 368 shen.strip-pathname | |
| 348 shen.variancy-test | |
| 348 declare | |
| 338 shen.<E> | |
| 327 shen.eval-cons | |
| 327 shen.legitimate-term? | |
| 318 shen.prefix? | |
| 315 shen.semantics | |
| 313 vector | |
| 310 shen.initialise-prolog | |
| 310 shen.start-new-prolog-process | |
| 304 snd | |
| 295 shen.typecheck | |
| 295 shen.insert-prolog-variables | |
| 290 tuple? | |
| 282 fst | |
| 278 shen.insert_deref | |
| 272 shen.<non-ll-rules> | |
| 272 shen.t*-rules | |
| 266 shen.lambda-form-entry | |
| 255 shen.cf_help | |
| 247 shen.s-prolog_literal | |
| 247 @p | |
| 247 shen.collect | |
| 243 shen.split_cc_rules | |
| 226 shen.str->str | |
| 224 shen.<formulae> | |
| 222 shen.insert-runon | |
| 217 shen.<term*> | |
| 217 shen.<head*> | |
| 214 shen.t*-action | |
| 212 shen.split_cc_rule | |
| 208 ok_diag? | |
| 205 nl | |
| 202 return | |
| 198 shen.mkstr | |
| 196 shen.variant? | |
| 195 shen.initialise_arity_table | |
| 183 shen.t*-rule | |
| 183 shen.<literal*> | |
| 183 shen.<body*> | |
| 177 shen.syntax | |
| 176 shen.sequent | |
| 173 shen.<premise> | |
| 173 shen.<premises> | |
| 172 shen.complexity_head | |
| 172 shen.head_abstraction | |
| 172 shen.s-prolog_clause | |
| 172 shen.same_predicate? | |
| 172 shen.linearise-clause | |
| 172 shen.prolog-aritycheck | |
| 172 shen.nest-disjunct | |
| 172 head | |
| 172 shen.explicit_modes | |
| 172 shen.clause_form | |
| 171 shen.set-lambda-form-entry | |
| 153 test-harness.create-tests | |
| 150 shen.group_clauses | |
| 143 shen.type-signature-of-replace | |
| 136 unify | |
| 132 shen.insert-h | |
| 132 shen.insert | |
| 132 print | |
| 129 passed | |
| 127 shen.<comma-symbol> | |
| 126 shen.<semicolon-symbol> | |
| 118 shen.<equal> | |
| 115 shen.<clause*> | |
| 115 shen.<clauses*> | |
| 109 shen.<side-conditions> | |
| 109 shen.<side-condition> | |
| 103 shen.remove-synonyms | |
| 103 shen.mult_subst | |
| 101 shen.typecheck-and-load | |
| 101 shen.pretty-type | |
| 101 shen.typecheck-and-evaluate | |
| 101 shen.typetable | |
| 100 super | |
| 98 shen.function-abstraction | |
| 97 shen.lisp-or | |
| 96 shen.rules->horn-clauses | |
| 95 shen.construct-context | |
| 94 shen.default_semantics | |
| 89 shen.t*-def | |
| 89 <!> | |
| 89 shen.<sig+rules> | |
| 89 shen.memo | |
| 89 shen.<sig+rest> | |
| 89 shen.assumetype | |
| 89 shen.t*-defhh | |
| 89 shen.t*-defh | |
| 84 shen.newline | |
| 82 shen.mode-ify | |
| 82 place_in_group | |
| 82 shen.construct-search-clauses | |
| 80 shen.cn-all | |
| 80 shen.carriage-return | |
| 80 stinput | |
| 80 shen.hat | |
| 80 shen.toplineread_loop | |
| 77 shen.construct-side-literals | |
| 75 shen.prolog->shen | |
| 75 shen.procedure_name | |
| 75 shen.compile_prolog_procedure | |
| 75 shen.catch-cut | |
| 75 shen.clauses-to-shen | |
| 74 belongs-in? | |
| 73 shen.<end*> | |
| 73 shen.insert-predicate | |
| 71 eval | |
| 71 shen.packaged? | |
| 67 shen.yacc_cases | |
| 67 odd? | |
| 67 shen.cc_body | |
| 66 shen.<datatype-rules> | |
| 66 even? | |
| 66 shen.<singleunderline> | |
| 66 shen.<datatype-rule> | |
| 65 shen.rule->horn-clause | |
| 65 shen.rule->horn-clause-body | |
| 65 shen.construct-search-literals | |
| 65 shen.rule->horn-clause-head | |
| 64 shen.<guard> | |
| 61 shen.construct-premiss-literal | |
| 61 shen.placeholder | |
| 50 shen.<conclusion> | |
| 49 shen.recursive_descent | |
| 48 shen.cl6086 | |
| 48 shen.jump_stream? | |
| 48 shen.terminal? | |
| 47 shen.semantic-completion-warning | |
| 46 type#progression | |
| 42 shen.<predicate*> | |
| 42 shen.<defprolog> | |
| 42 shen.check_stream | |
| 39 parenthesise_rules1 | |
| 37 shen.receive-terms | |
| 37 shen.pass-literals | |
| 36 read-file-as-charlist | |
| 36 load | |
| 36 member | |
| 36 read-file | |
| 36 shen.load-help | |
| 36 shen.read-file-as-Xlist-help | |
| 36 shen.read-file-as-Xlist | |
| 34 shen.csl-help | |
| 33 shen.s-prolog | |
| 32 shen.kill-code | |
| 32 shen.yacc->shen | |
| 32 shen.yacc | |
| 31 shen.<doubleunderline> | |
| 30 type#tiny_lisp_type_theory | |
| 30 shen.right->left | |
| 29 depth-help' | |
| 27 shen.type-signature-of-if | |
| 26 mapapp | |
| 25 shen.type-signature-of-+ | |
| 24 test-harness.results | |
| 22 fail-if | |
| 22 shen.type-signature-of-cn | |
| 21 tc | |
| 20 shen.type-signature-of-shen.prhush | |
| 20 reverse-string | |
| 20 shen.type-signature-of-stoutput | |
| 20 shen.multiple-set | |
| 19 group_rules1 | |
| 19 shen.type-signature-of-shen.app | |
| 19 backchain* | |
| 18 <digit> | |
| 18 backchain* | |
| 17 shen.construct-search-clause | |
| 17 shen.insert_lazyderef | |
| 17 shen.type-signature-of-do | |
| 17 shen.construct-recursive-search-clause | |
| 17 shen.construct-base-search-clause | |
| 16 shen.intern-type | |
| 16 shen.function-abstraction-help | |
| 16 shen.remember-datatype | |
| 16 shen.process-datatype | |
| 15 shen.double->singles | |
| 15 mem | |
| 15 shen.left-rule | |
| 15 shen.right-rule | |
| 14 get-prop | |
| 14 <as> | |
| 14 parsing | |
| 13 ae_help | |
| 13 shen.type-signature-of-- | |
| 13 gcfl_help | |
| 12 all-pairs-using-X | |
| 10 cons-X-to-each-set | |
| 10 shen.type-signature-of-normal_form | |
| 10 shen.demod-rule | |
| 10 shen.type-signature-of-= | |
| 9 shen.synonyms-help | |
| 9 shen.post | |
| 9 <digit''> | |
| 9 spread-activation | |
| 9 <morestuff> | |
| 9 bubble | |
| 9 bubble | |
| 8 shen.after-codepoint | |
| 8 shen.code-point | |
| 8 trim-string-left | |
| 8 lex? | |
| 8 compile_rules | |
| 8 shen.type-signature-of-and | |
| 8 shen.<postdigits> | |
| 8 fixed-value? | |
| 8 get_characteristic_non_terminal | |
| 8 shen.trim-whitespace | |
| 8 shen.digits->integers | |
| 7 type_links | |
| 7 is_links | |
| 7 type#globals | |
| 7 <cs> | |
| 7 shen.pushnew | |
| 7 <bs> | |
| 7 <n> | |
| 7 <np> | |
| 7 <det> | |
| 7 shen.variable-match | |
| 7 shen.type-signature-of-eval_error? | |
| 6 shen.type-signature-of-remove | |
| 6 mk_lambda | |
| 6 shen.type-signature-of-or | |
| 6 shen.type-signature-of-no_match? | |
| 6 accessible-from | |
| 6 shen.type-signature-of-match | |
| 6 shen.type-signature-of-whist-loop | |
| 6 shen.type-signature-of-free? | |
| 6 shen.type-signature-of-> | |
| 6 initialise | |
| 6 shen.type-signature-of-stinput | |
| 6 shen.decons | |
| 6 shen.list-stream | |
| 5 apply_expansion | |
| 5 gcfn_help | |
| 5 shen.type-signature-of-depth-help' | |
| 5 shen.type-signature-of-h* | |
| 5 <find-digit''> | |
| 5 do-calculation | |
| 5 <find-digit'> | |
| 5 shen.type-signature-of-d* | |
| 5 shen.type-signature-of-play-player | |
| 5 generate_code_for_lex | |
| 5 <find-digit> | |
| 4 shen.type-signature-of-proof-loop | |
| 4 shen.type-signature-of-length | |
| 4 shen.type-signature-of-next_n | |
| 4 shen.type-signature-of-empty? | |
| 4 <vtrans> | |
| 4 <vp> | |
| 4 tail | |
| 4 shen.decimalise | |
| 4 shen.type-signature-of-append | |
| 4 shen.type-signature-of-n-queens-loop | |
| 4 get-cell | |
| 4 get-row | |
| 4 get' | |
| 4 appendall | |
| 4 assign-cell-value | |
| 4 shen.type-signature-of-select-lowest-help | |
| 4 change-value | |
| 4 shen.type-signature-of-sort-help | |
| 4 powerset | |
| 4 alldigits? | |
| 4 cartesian-product | |
| 4 shen.type-signature-of-select-highest-help | |
| 4 shen.type-signature-of-same-suit | |
| 4 strlen | |
| 4 shen.toplevel_evaluate | |
| 4 shen.type-signature-of-super | |
| 4 shen.space | |
| 4 shen.toplevel | |
| 4 shen.prompt | |
| 4 shen.type-signature-of-sort* | |
| 4 mapit | |
| 4 shen.record-it-h | |
| 4 shen.type-signature-of-order_states | |
| 4 shen.record-it | |
| 4 shen.toplineread | |
| 4 shen.update_history | |
| 4 shen.exclamation | |
| 4 shen.percent | |
| 4 shen.retrieve-from-history-if-needed | |
| 4 shen.read-evaluate-print | |
| 4 enjoys | |
| 4 shen.initialise_environment | |
| 4 shen.loop | |
| 3 generate_code_for_nonlex | |
| 3 shen.type-signature-of-fix | |
| 3 shen.type-signature-of-deal-card | |
| 3 shen.type-signature-of-deal-whist | |
| 3 shen.type-signature-of-cartprod | |
| 3 shen.type-signature-of-prime-help | |
| 3 shen.type-signature-of-input-assumptions | |
| 3 shen.type-signature-of-show-cards | |
| 3 shen.type-signature-of-enumerate | |
| 3 shen.type-signature-of-some | |
| 3 <es> | |
| 3 shen.type-signature-of-b* | |
| 3 shen.type-signature-of-lower? | |
| 3 shen.type-signature-of-sub | |
| 3 shen.type-signature-of-select-higher | |
| 3 shen.type-signature-of-show-sequent | |
| 3 shen.type-signature-of-normal_form | |
| 3 make-instance | |
| 3 record-attribute-types | |
| 3 axiom | |
| 3 make-ship | |
| 3 make-association-list | |
| 3 params | |
| 3 assemble-type | |
| 3 selector-types | |
| 3 bubble-again-perhaps | |
| 3 make-ship | |
| 3 bubble-sort | |
| 3 make-association-list | |
| 3 params | |
| 3 shen.type-signature-of-computer-shows | |
| 3 digit? | |
| 3 shen.type-signature-of-return-winner | |
| 3 shen.type-signature-of-ok_diag_N? | |
| 3 shen.type-signature-of-ok_diag? | |
| 3 shen.type-signature-of-ok_row? | |
| 3 shen.type-signature-of-determine-winner | |
| 3 consit | |
| 3 shen.type-signature-of-all_Ns? | |
| 3 shen.type-signature-of-read_eval_print_loop | |
| 3 app | |
| 3 proph | |
| 3 shen.type-signature-of-initialise | |
| 3 shen.<variable?> | |
| 3 rev | |
| 3 f | |
| 3 shen.type-signature-of-determine-legal | |
| 3 equal-length? | |
| 3 shen.type-signature-of-not | |
| 3 shen.type-signature-of-show-proof-help | |
| 2 subst-string | |
| 2 complement | |
| 2 shen.type-signature-of-next-prime | |
| 2 shen.type-signature-of-deck | |
| 2 shen.type-signature-of-progn | |
| 2 shen.type-signature-of-sort | |
| 2 shen.type-signature-of-exists | |
| 2 shen.type-signature-of-input-conclusion | |
| 2 <ds> | |
| 2 ~ | |
| 2 shen.curry-synonyms | |
| 2 different | |
| 2 shen.type-signature-of-select-lowest | |
| 2 shen.type-signature-of-forall | |
| 2 shen.type-signature-of-predecessor | |
| 2 shen.type-signature-of-sort | |
| 2 consistent | |
| 2 shen.type-signature-of-== | |
| 2 shen.type-signature-of-play-computer-follow | |
| 2 shen.type-signature-of-/ | |
| 2 <sent> | |
| 2 shen.fix-help | |
| 2 fix | |
| 2 shen.type-signature-of-higher? | |
| 2 g | |
| 2 shen.type-signature-of-successor | |
| 2 backchain | |
| 2 shen.type-signature-of-reverse | |
| 2 shen.type-signature-of-select-highest | |
| 2 backchain | |
| 2 clear | |
| 2 shen.type-signature-of-number? | |
| 2 shen.type-signature-of-nth | |
| 2 shen.type-signature-of-map-suit | |
| 2 shen.type-signature-of-map | |
| 2 assert | |
| 2 shen.type-signature-of-integer? | |
| 2 shen.remember | |
| 2 shen.type-signature-of-head | |
| 2 shen.type-signature-of-get-time | |
| 2 shen.type-signature-of-function | |
| 2 change-value | |
| 2 shen.type-signature-of-map-rank | |
| 2 shen.type-signature-of-super | |
| 2 shen.type-signature-of-play-computer-lead | |
| 2 selector | |
| 2 shen.type-signature-of-game-over? | |
| 2 shen.type-signature-of-==>> | |
| 2 depth' | |
| 2 value/or | |
| 2 bound? | |
| 2 shen.type-signature-of-go-back | |
| 2 shen.type-signature-of-void-of-suit? | |
| 2 selector | |
| 2 specialise | |
| 2 shen.type-signature-of-legal? | |
| 2 shen.type-signature-of-back | |
| 2 shen.add-macro | |
| 2 assign-fixed-values | |
| 2 shen.type-signature-of-user-directive | |
| 2 shen.default-rule | |
| 2 shen.update-demodulation-function | |
| 2 shen.lambda-of-defun | |
| 2 shen.type-signature-of-random | |
| 2 shen.type-signature-of-prime? | |
| 2 shen.type-signature-of-in-range? | |
| 2 preclude-all-but | |
| 2 shen.preclude-h | |
| 1 shen.type-signature-of-snd | |
| 1 ship-name | |
| 1 ship-length | |
| 1 assess-spreadsheet | |
| 1 recognisor | |
| 1 bubble-sort | |
| 1 shen.type-signature-of-whist | |
| 1 dict | |
| 1 shen.type-signature-of-n-queens | |
| 1 shen.type-signature-of-nl | |
| 1 shen.type-signature-of-mapcan | |
| 1 constructor | |
| 1 shen.type-signature-of-sort | |
| 1 selectors | |
| 1 shen.type-signature-of-proof-assistant | |
| 1 constructor-type | |
| 1 recognisor-type | |
| 1 shen.type-signature-of-l_interpreter | |
| 1 shen.type-signature-of-fst | |
| 1 pparse | |
| 1 defstruct | |
| 1 shen.type-signature-of-element? | |
| 1 shen.type-signature-of-higher? | |
| 1 ship-name | |
| 1 einstein | |
| 1 einsteins_riddle | |
| 1 pretty | |
| 1 tall | |
| 1 likes | |
| 1 ship-length | |
| 1 recognisor | |
| 1 shen.type-signature-of-map-suit | |
| 1 <anbncn> | |
| 1 constructor | |
| 1 vector? | |
| 1 shen.type-signature-of-hill | |
| 1 selectors | |
| 1 defstruct | |
| 1 prop | |
| 1 fads | |
| 1 shen.type-signature-of-map-rank | |
| 1 <bs'> | |
| 1 <asbs'cs> | |
| 1 <asbscs> | |
| 1 external | |
| 1 shen.f1430 | |
| 1 shen.f1425 | |
| 1 shen.f1420 | |
| 1 shen.f1415 | |
| 1 shen.f1410 | |
| 1 shen.f1405 | |
| 1 shen.f1400 | |
| 1 shen.f1395 | |
| 1 shen.f1390 | |
| 1 shen.f1385 | |
| 1 shen.f1380 | |
| 1 shen.f1375 | |
| 1 shen.f1370 | |
| 1 shen.f1365 | |
| 1 shen.f1360 | |
| 1 trim-string | |
| 1 trim-string-right | |
| 1 shen.type-signature-of-depth | |
| 1 shen.type-signature-of-determine-winner | |
| 1 subst-string' | |
| 1 shen.type-signature-of-same-suit | |
| 1 shen.record-internal | |
| 1 shen.record-exceptions | |
| 1 reset | |
| 1 delay | |
| 1 shen.findallhelp | |
| 1 shen.iter-vector | |
| 1 shen.print-vector? | |
| 1 shen.vector->str | |
| 1 findall | |
| 1 shen.type-signature-of-breadth-first | |
| 1 question | |
| 1 <sent'> | |
| 1 shen.type-signature-of-delay | |
| 1 shen.type-signature-of-force | |
| 1 <des> | |
| 1 shen.type-signature-of-pfilter | |
| 1 exists | |
| 1 <name1> | |
| 1 shen.type-signature-of-for | |
| 1 shen.type-signature-of-exists | |
| 1 shen.type-signature-of-forall | |
| 1 n-queens | |
| 1 top | |
| 1 group_rules | |
| 1 push | |
| 1 parenthesise_rules | |
| 1 maxinferences | |
| 1 generate_parser | |
| 1 empty-stack | |
| 1 shen.type-signature-of-push | |
| 1 shen.type-signature-of-depth' | |
| 1 has-value-test | |
| 1 has-value? | |
| 1 get-value-test | |
| 1 get-value | |
| 1 shen.type-signature-of-exists | |
| 1 shen.type-signature-of-show-proof | |
| 1 shen.type-signature-of-forall | |
| 1 defclass | |
| 1 cd | |
| 1 belongs? | |
| 1 query | |
| 1 shen.type-signature-of-push | |
| 1 has-value-test | |
| 1 count-change | |
| 1 has-value? | |
| 1 get-value-test | |
| 1 prime* | |
| 1 prime? | |
| 1 get-value | |
| 1 shen.type-signature-of-<= | |
| 1 shen.type-signature-of-< | |
| 1 make-instance | |
| 1 shen.type-signature-of-y-or-n? | |
| 1 shen.type-signature-of-variable? | |
| 1 shen.type-signature-of-tail | |
| 1 shen.type-signature-of-str | |
| 1 defclass | |
| 1 shen.credits | |
| 1 shen.type-signature-of-end? | |
| 1 shen.shen | |
| 0 read_eval_print_loop | |
| 0 shen.type-signature-of-read_eval_print_loop | |
| 0 l_interpreter | |
| 0 shen.type-signature-of-l_interpreter | |
| 0 prime-help | |
| 0 shen.measure&return | |
| 0 shen.type-signature-of-prime-help | |
| 0 prime? | |
| 0 shen.type-signature-of-prime? | |
| 0 shen.type-signature-of-ok_diag_N? | |
| 0 next-prime | |
| 0 shen.type-signature-of-ok_diag? | |
| 0 shen.type-signature-of-next-prime | |
| 0 shen.type-signature-of-ok_row? | |
| 0 pfilter | |
| 0 shen.type-signature-of-next_n | |
| 0 shen.type-signature-of-pfilter | |
| 0 shen.type-signature-of-all_Ns? | |
| 0 progn | |
| 0 shen.type-signature-of-n-queens-loop | |
| 0 shen.type-signature-of-progn | |
| 0 shen.type-signature-of-initialise | |
| 0 for | |
| 0 shen.type-signature-of-n-queens | |
| 0 shen.type-signature-of-for | |
| 0 shen.type-signature-of-depth-help' | |
| 0 shen.type-signature-of-exists | |
| 0 forall | |
| 0 shen.type-signature-of-forall | |
| 0 join | |
| 0 go-back | |
| 0 shen.type-signature-of-go-back | |
| 0 app | |
| 0 occurs-check | |
| 0 mem | |
| 0 <d*> | |
| 0 <c*> | |
| 0 <b*> | |
| 0 <a*s> | |
| 0 back | |
| 0 shen.type-signature-of-back | |
| 0 user-directive | |
| 0 shen.type-signature-of-user-directive | |
| 0 enumerate | |
| 0 shen.type-signature-of-enumerate | |
| 0 show-sequent | |
| 0 shen.type-signature-of-show-sequent | |
| 0 show-proof-help | |
| 0 in-range? | |
| 0 <cs> | |
| 0 <bs> | |
| 0 <as> | |
| 0 shen.type-signature-of-in-range? | |
| 0 show-cards | |
| 0 shen.type-signature-of-show-cards | |
| 0 test-harness.err | |
| 0 failed | |
| 0 play-player | |
| 0 shen.type-signature-of-play-player | |
| 0 <as->bs> | |
| 0 lower? | |
| 0 shen.insert_modes | |
| 0 shen.type-signature-of-lower? | |
| 0 select-lowest-help | |
| 0 shen.type-signature-of-select-lowest-help | |
| 0 select-lowest | |
| 0 shen.type-signature-of-select-lowest | |
| 0 select-higher | |
| 0 shen.type-signature-of-select-higher | |
| 0 sort-help | |
| 0 shen.type-signature-of-sort-help | |
| 0 sort | |
| 0 shen.type-signature-of-sort | |
| 0 pop | |
| 0 shen.decons-string | |
| 0 shen.next-50 | |
| 0 shen.prolog-error | |
| 0 play-computer-follow | |
| 0 shen.ues | |
| 0 shen.type-signature-of-play-computer-follow | |
| 0 higher? | |
| 0 shen.type-signature-of-pop | |
| 0 shen.type-signature-of-top | |
| 0 shen.type-signature-of-show-proof-help | |
| 0 shen.type-signature-of-empty-stack | |
| 0 type#ship | |
| 0 type#shipname | |
| 0 type#shiplength | |
| 0 instance-of | |
| 0 shen.<return> | |
| 0 shen.<non-return> | |
| 0 shen.<anysingle> | |
| 0 shen.type-signature-of-instance-of | |
| 0 select-highest-help | |
| 0 shen.type-signature-of-change-value | |
| 0 shen.pause-for-user | |
| 0 shen.show-assumptions | |
| 0 shen.show-p | |
| 0 shen.line | |
| 0 has-attribute? | |
| 0 shen.type-signature-of-has-attribute? | |
| 0 shen.type-signature-of-select-highest-help | |
| 0 select-highest | |
| 0 shen.errormaxinfs | |
| 0 shen.type-signature-of-has-value? | |
| 0 shen.prolog-failure | |
| 0 enable-type-theory | |
| 0 shen.<log10> | |
| 0 shen.type-signature-of-select-highest | |
| 0 map-suit | |
| 0 shen.type-signature-of-get-value | |
| 0 shen.<byte> | |
| 0 show-proof | |
| 0 shen.type-signature-of-make-instance | |
| 0 map-rank | |
| 0 shen.type-signature-of-show-proof | |
| 0 shen.type-signature-of-* | |
| 0 computer-shows | |
| 0 shen.type-signature-of-defclass | |
| 0 instance-of | |
| 0 shen.type-signature-of-computer-shows | |
| 0 has-attribute? | |
| 0 shen.type-signature-of->= | |
| 0 play-computer-lead | |
| 0 shen.type-signature-of-play-computer-lead | |
| 0 game-over? | |
| 0 shen.type-signature-of-write-byte | |
| 0 shen.type-signature-of-write-to-file | |
| 0 shen.type-signature-of-version | |
| 0 shen.type-signature-of-vector? | |
| 0 shen.type-signature-of-game-over? | |
| 0 shen.type-signature-of-unspecialise | |
| 0 shen.type-signature-of-untrack | |
| 0 shen.type-signature-of-unprofile | |
| 0 shen.type-signature-of-union | |
| 0 shen.type-signature-of-undefmacro | |
| 0 shen.type-signature-of-tuple? | |
| 0 shen.type-signature-of-trap-error | |
| 0 shen.type-signature-of-track | |
| 0 shen.type-signature-of-thaw | |
| 0 shen.type-signature-of-tc? | |
| 0 shen.compress-50 | |
| 0 shen.read-error | |
| 0 read-from-string | |
| 0 shen.type-signature-of-tc | |
| 0 shen.type-signature-of-tlv | |
| 0 shen.type-signature-of-tlstr | |
| 0 return-winner | |
| 0 shen.type-signature-of-systemf | |
| 0 shen.lineread-loop | |
| 0 lineread | |
| 0 shen.terminator? | |
| 0 shen.read-loop | |
| 0 it | |
| 0 read | |
| 0 shen.monotype | |
| 0 input+ | |
| 0 input | |
| 0 shen.rfas-h | |
| 0 read-file-as-string | |
| 0 shen.type-signature-of-symbol? | |
| 0 shen.type-signature-of-sum | |
| 0 shen.type-signature-of-string->symbol | |
| 0 read-file-as-bytelist | |
| 0 shen.type-signature-of-string->n | |
| 0 shen.type-signature-of-return-winner | |
| 0 shen.type-signature-of-string? | |
| 0 shen.type-signature-of-ship? | |
| 0 shen.type-signature-of-sterror | |
| 0 shen.type-signature-of-ship-name | |
| 0 shen.snd-or-fail | |
| 0 shen.type-signature-of-step | |
| 0 shen.jump_stream | |
| 0 shen.type-signature-of-spy | |
| 0 shen.type-signature-of-specialise | |
| 0 shen.type-signature-of-ship-length | |
| 0 shen.type-signature-of-simple-error | |
| 0 shen.type-signature-of-make-ship | |
| 0 ship? | |
| 0 shen.type-signature-of-release | |
| 0 shen.type-signature-of-read-from-string | |
| 0 shen.type-signature-of-read-file | |
| 0 shen.type-signature-of-read-file-as-string | |
| 0 shen.type-signature-of-read-file-as-charlist | |
| 0 shen.type-signature-of-read-file-as-bytelist | |
| 0 shen.type-signature-of-read-char-code | |
| 0 shen.type-signature-of-read-byte | |
| 0 shen.type-signature-of-read | |
| 0 shen.type-signature-of-ps | |
| 0 determine-winner | |
| 0 shen.analyse-kill | |
| 0 kill | |
| 0 shen.type-signature-of-preclude-all-but | |
| 0 shen.type-signature-of-protect | |
| 0 shen.type-signature-of-profile-results | |
| 0 shen.type-signature-of-shen.proc-nl | |
| 0 shen.type-signature-of-preclude | |
| 0 shen.type-signature-of-profile | |
| 0 shen.type-signature-of-print | |
| 0 shen.type-signature-of-pr | |
| 0 shen.type-signature-of-pos | |
| 0 include-all-but | |
| 0 shen.type-signature-of-porters | |
| 0 shen.include-h | |
| 0 include | |
| 0 shen.type-signature-of-port | |
| 0 preclude | |
| 0 shen.type-signature-of-package? | |
| 0 shen.type-signature-of-os | |
| 0 proof-loop | |
| 0 shen.type-signature-of-optimise | |
| 0 shen.type-signature-of-occurs-check | |
| 0 shen.type-signature-of-occurrences | |
| 0 same-suit | |
| 0 shen.type-signature-of-proof-loop | |
| 0 void-of-suit? | |
| 0 shen.type-signature-of-void-of-suit? | |
| 0 shen.type-signature-of-n->string | |
| 0 shen.type-signature-of-maxinferences | |
| 0 shen.type-signature-of-filter | |
| 0 legal? | |
| 0 shen.type-signature-of-legal? | |
| 0 shen.type-signature-of-for-each | |
| 0 shen.type-signature-of-fold-right | |
| 0 shen.type-signature-of-fold-left | |
| 0 shen.type-signature-of-load | |
| 0 shen.type-signature-of-limit | |
| 0 determine-legal | |
| 0 shen.type-signature-of-language | |
| 0 shen.type-signature-of-kill | |
| 0 shen.type-signature-of-intersection | |
| 0 shen.type-signature-of-internal | |
| 0 shen.type-signature-of-defstruct | |
| 0 shen.type-signature-of-shen.insert | |
| 0 shen.type-signature-of-inferences | |
| 0 shen.type-signature-of-include-all-but | |
| 0 shen.type-signature-of-include | |
| 0 shen.type-signature-of-implementation | |
| 0 shen.type-signature-of-it | |
| 0 shen.type-signature-of-determine-legal | |
| 0 shen.type-signature-of-hdstr | |
| 0 shen.type-signature-of-hdv | |
| 0 whist-loop | |
| 0 shen.type-signature-of-hash | |
| 0 shen.type-signature-of-whist-loop | |
| 0 shen.type-signature-of-exit | |
| 0 shen.type-signature-of-dict-values | |
| 0 shen.type-signature-of-dict-keys | |
| 0 shen.type-signature-of-dict-fold | |
| 0 shen.type-signature-of-dict-rm | |
| 0 shen.datatype-error | |
| 0 shen.type-signature-of-dict-> | |
| 0 shen.type-signature-of-<-dict/or | |
| 0 package? | |
| 0 release | |
| 0 implementation | |
| 0 porters | |
| 0 port | |
| 0 version | |
| 0 language | |
| 0 os | |
| 0 optimise | |
| 0 string->symbol | |
| 0 sterror | |
| 0 shen.type-signature-of-<-dict | |
| 0 protect | |
| 0 shen.type-signature-of-dict-count | |
| 0 shen.type-signature-of-dict? | |
| 0 shen.string->bytes | |
| 0 shen.type-signature-of-dict | |
| 0 abort | |
| 0 == | |
| 0 shen.type-signature-of-vector | |
| 0 shen.type-signature-of-vector-> | |
| 0 shen.type-signature-of-<-vector/or | |
| 0 shen.type-signature-of-<-vector | |
| 0 shen.type-signature-of-gensym | |
| 0 nth | |
| 0 random | |
| 0 shen.type-signature-of-random | |
| 0 shen.type-signature-of-freeze | |
| 0 ship? | |
| 0 shen.type-signature-of-fail-if | |
| 0 shen.filter-h | |
| 0 filter | |
| 0 fold-left | |
| 0 fold-right | |
| 0 shen.type-signature-of-fail | |
| 0 shen.type-signature-of-explode | |
| 0 shen.type-signature-of-error-to-string | |
| 0 shen.type-signature-of-external | |
| 0 shen.type-signature-of-enable-type-theory | |
| 0 deal-card | |
| 0 y-or-n? | |
| 0 shen.type-signature-of-deal-card | |
| 0 shen.type-signature-of-<!> | |
| 0 shen.type-signature-of-<e> | |
| 0 intersection | |
| 0 hdstr | |
| 0 deal-whist | |
| 0 shen.type-signature-of-difference | |
| 0 shen.type-signature-of-destroy | |
| 0 shen.type-signature-of-cons? | |
| 0 shen.type-signature-of-compile | |
| 0 shen.type-signature-of-deal-whist | |
| 0 shen.type-signature-of-close | |
| 0 shen.type-signature-of-cd | |
| 0 shen.type-signature-of-bound? | |
| 0 unput | |
| 0 shen.type-signature-of-boolean? | |
| 0 dict-values | |
| 0 dict-keys | |
| 0 shen.bucket-fold | |
| 0 shen.dict-fold-h | |
| 0 dict-fold | |
| 0 dict-rm | |
| 0 <-dict | |
| 0 shen.type-signature-of-assoc | |
| 0 shen.type-signature-of-arity | |
| 0 cartprod | |
| 0 shen.remove-key-entry-value | |
| 0 shen.type-signature-of-cartprod | |
| 0 deck | |
| 0 shen.type-signature-of-adjoin | |
| 0 shen.type-signature-of-absvector? | |
| 0 shen.type-signature-of-deck | |
| 0 whist | |
| 0 dict? | |
| 0 shen.type-signature-of-whist | |
| 0 input-conclusion | |
| 0 unspecialise | |
| 0 type#arith-expr | |
| 0 shen.cl2460 | |
| 0 shen.cl2418 | |
| 0 shen.type-signature-of-input-conclusion | |
| 0 input-assumptions | |
| 0 shen.type-signature-of-input-assumptions | |
| 0 systemf | |
| 0 shen.tlv-help | |
| 0 tlv | |
| 0 hdv | |
| 0 shen.copyfromvector | |
| 0 shen.@v-help | |
| 0 @v | |
| 0 proof-assistant | |
| 0 shen.type-signature-of-proof-assistant | |
| 0 shen.remove-nth | |
| 0 shen.findpos | |
| 0 undefmacro | |
| 0 shen.type-signature-of-depth' | |
| 0 exists | |
| 0 rwilli | |
| 0 member | |
| 0 shen.tuple-up | |
| 0 forall | |
| 0 end? | |
| 0 force | |
| 0 plus | |
| 0 type#progression | |
| 0 shen.cl2271 | |
| 0 push | |
| 0 shen.posint? | |
| 0 <-vector/or | |
| 0 <-vector | |
| 0 vector-> | |
| 0 type#binary | |
| 0 shen.cl2179 | |
| 0 vintrans | |
| 0 vtrans | |
| 0 vp | |
| 0 n | |
| 0 ps | |
| 0 tc? | |
| 0 det | |
| 0 name | |
| 0 np | |
| 0 sent | |
| 0 shen.package-contents | |
| 0 internal | |
| 0 shen.type-signature-of-push | |
| 0 end? | |
| 0 shen.type-signature-of-end? | |
| 0 delay | |
| 0 shen.type-signature-of-delay | |
| 0 force | |
| 0 shen.funexstring | |
| 0 free? | |
| 0 shen.sys-error | |
| 0 shen.type-signature-of-free? | |
| 0 shen.dictionary | |
| 0 shen.tuple | |
| 0 shen.fbound? | |
| 0 replace | |
| 0 shen.type-signature-of-replace | |
| 0 no_match? | |
| 0 shen.type-signature-of-no_match? | |
| 0 shen.+vector? | |
| 0 match | |
| 0 shen.type-signature-of-match | |
| 0 sub | |
| 0 shen.type-signature-of-sub | |
| 0 shen.atom-type | |
| 0 shen.assign-types | |
| 0 shen.typextable | |
| 0 shen.get-type | |
| 0 predecessor | |
| 0 output_parse | |
| 0 shen.mkstr-r | |
| 0 parsed? | |
| 0 parse | |
| 0 shen.type-signature-of-predecessor | |
| 0 successor | |
| 0 shen.type-signature-of-successor | |
| 0 eval_error? | |
| 0 shen.type-signature-of-eval_error? | |
| 0 sort* | |
| 0 shen.type-signature-of-sort* | |
| 0 sort | |
| 0 write-to-file | |
| 0 shen.list_variables | |
| 0 ==>> | |
| 0 shen.removetype | |
| 0 shen.remtype | |
| 0 shen.unwind-types | |
| 0 order_states | |
| 0 shen.type-signature-of-order_states | |
| 0 h* | |
| 0 shen.type-signature-of-h* | |
| 0 hill | |
| 0 shen.type-signature-of-hill | |
| 0 shen.put-profile | |
| 0 shen.get-profile | |
| 0 profile-results | |
| 0 shen.constructor-error | |
| 0 shen.profile-func | |
| 0 unprofile | |
| 0 shen.succeeds? | |
| 0 shen.fail_if | |
| 0 shen.profile-help | |
| 0 profile | |
| 0 untrack | |
| 0 shen.output-track | |
| 0 shen.spaces | |
| 0 shen.recursively-print | |
| 0 shen.input-track | |
| 0 shen.check-byte | |
| 0 shen.shen-syntax-error | |
| 0 shen.terpri-or-read-char | |
| 0 spy | |
| 0 step | |
| 0 shen.insert-tracking-code | |
| 0 shen.track-function | |
| 0 track | |
| 0 shen.print-past-inputs | |
| 0 shen.tracked? | |
| 0 shen.find | |
| 0 shen.left-round | |
| 0 shen.tab | |
| 0 shen.f_error | |
| 0 shen.trim-gubbins | |
| 0 shen.make-key | |
| 0 shen.find-past-inputs | |
| 0 d* | |
| 0 shen.type-signature-of-d* | |
| 0 depth | |
| 0 shen.type-signature-of-depth | |
| 0 shen.call-rest | |
| 0 shen.intprolog-help-help | |
| 0 shen.intprolog-help | |
| 0 shen.intprolog | |
| 0 some | |
| 0 shen.prbytes | |
| 0 shen.type-signature-of-some | |
| 0 b* | |
| 0 shen.type-signature-of-b* | |
| 0 shen.pvar | |
| 0 destroy | |
| 0 breadth-first | |
| 0 shen.type-signature-of-breadth-first | |
| 0 shen.type-signature-of-==>> | |
| 0 normal_form | |
| 0 exit | |
| 0 shen.type-signature-of-force |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment