docs/sphinx_docs/_build/html/genindex.html

   1
   2 <!DOCTYPE html>
   3
   4 <html>
   5   <head>
   6     <meta charset="utf-8" />
   7     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
   8     <title>Index &#8212; Thun 0.4.1 documentation</title>
   9     <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
  10     <link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
  11     <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>
  12     <script src="_static/jquery.js"></script>
  13     <script src="_static/underscore.js"></script>
  14     <script src="_static/doctools.js"></script>
  15     <link rel="index" title="Index" href="#" />
  16     <link rel="search" title="Search" href="search.html" />
  17
  18   <link rel="stylesheet" href="_static/custom.css" type="text/css" />
  19
  20
  21   <meta name="viewport" content="width=device-width, initial-scale=0.9, maximum-scale=0.9" />
  22
  23   </head><body>
  24
  25
  26     <div class="document">
  27       <div class="documentwrapper">
  28         <div class="bodywrapper">
  29
  30
  31           <div class="body" role="main">
  32
  33
  34 <h1 id="index">Index</h1>
  35
  36 <div class="genindex-jumpbox">
  37  <a href="#A"><strong>A</strong></a>
  38  | <a href="#B"><strong>B</strong></a>
  39  | <a href="#C"><strong>C</strong></a>
  40  | <a href="#D"><strong>D</strong></a>
  41  | <a href="#E"><strong>E</strong></a>
  42  | <a href="#F"><strong>F</strong></a>
  43  | <a href="#G"><strong>G</strong></a>
  44  | <a href="#H"><strong>H</strong></a>
  45  | <a href="#I"><strong>I</strong></a>
  46  | <a href="#J"><strong>J</strong></a>
  47  | <a href="#L"><strong>L</strong></a>
  48  | <a href="#M"><strong>M</strong></a>
  49  | <a href="#O"><strong>O</strong></a>
  50  | <a href="#P"><strong>P</strong></a>
  51  | <a href="#R"><strong>R</strong></a>
  52  | <a href="#S"><strong>S</strong></a>
  53  | <a href="#T"><strong>T</strong></a>
  54  | <a href="#U"><strong>U</strong></a>
  55  | <a href="#V"><strong>V</strong></a>
  56  | <a href="#W"><strong>W</strong></a>
  57  | <a href="#X"><strong>X</strong></a>
  58  | <a href="#Z"><strong>Z</strong></a>
  59
  60 </div>
  61 <h2 id="A">A</h2>
  62 <table style="width: 100%" class="indextable genindextable"><tr>
  63   <td style="width: 33%; vertical-align: top;"><ul>
  64       <li><a href="library.html#joy.library.add_aliases">add_aliases() (in module joy.library)</a>
  65 </li>
  66       <li><a href="library.html#joy.library.app1">app1() (in module joy.library)</a>
  67 </li>
  68   </ul></td>
  69   <td style="width: 33%; vertical-align: top;"><ul>
  70       <li><a href="library.html#joy.library.app2">app2() (in module joy.library)</a>
  71 </li>
  72       <li><a href="library.html#joy.library.app3">app3() (in module joy.library)</a>
  73 </li>
  74   </ul></td>
  75 </tr></table>
  76
  77 <h2 id="B">B</h2>
  78 <table style="width: 100%" class="indextable genindextable"><tr>
  79   <td style="width: 33%; vertical-align: top;"><ul>
  80       <li><a href="library.html#joy.library.b">b() (in module joy.library)</a>
  81 </li>
  82   </ul></td>
  83   <td style="width: 33%; vertical-align: top;"><ul>
  84       <li><a href="library.html#joy.library.BinaryBuiltinWrapper">BinaryBuiltinWrapper() (in module joy.library)</a>
  85 </li>
  86       <li><a href="library.html#joy.library.branch">branch() (in module joy.library)</a>
  87 </li>
  88   </ul></td>
  89 </tr></table>
  90
  91 <h2 id="C">C</h2>
  92 <table style="width: 100%" class="indextable genindextable"><tr>
  93   <td style="width: 33%; vertical-align: top;"><ul>
  94       <li><a href="library.html#joy.utils.generated_library.ccons">ccons() (in module joy.utils.generated_library)</a>
  95 </li>
  96       <li><a href="library.html#joy.library.choice">choice() (in module joy.library)</a>
  97 </li>
  98       <li><a href="library.html#joy.library.clear">clear() (in module joy.library)</a>
  99 </li>
 100       <li><a href="library.html#joy.library.cmp_">cmp_() (in module joy.library)</a>
 101 </li>
 102   </ul></td>
 103   <td style="width: 33%; vertical-align: top;"><ul>
 104       <li><a href="stack.html#joy.utils.stack.concat">concat() (in module joy.utils.stack)</a>
 105 </li>
 106       <li><a href="library.html#joy.library.concat_">concat_() (in module joy.library)</a>
 107 </li>
 108       <li><a href="library.html#joy.library.cond">cond() (in module joy.library)</a>
 109 </li>
 110       <li><a href="library.html#joy.utils.generated_library.cons">cons() (in module joy.utils.generated_library)</a>
 111 </li>
 112   </ul></td>
 113 </tr></table>
 114
 115 <h2 id="D">D</h2>
 116 <table style="width: 100%" class="indextable genindextable"><tr>
 117   <td style="width: 33%; vertical-align: top;"><ul>
 118       <li><a href="library.html#joy.library.Def">Def (class in joy.library)</a>
 119 </li>
 120       <li><a href="library.html#joy.library.dip">dip() (in module joy.library)</a>
 121 </li>
 122       <li><a href="library.html#joy.library.dipd">dipd() (in module joy.library)</a>
 123 </li>
 124       <li><a href="library.html#joy.library.dipdd">dipdd() (in module joy.library)</a>
 125 </li>
 126       <li><a href="library.html#joy.library.disenstacken">disenstacken() (in module joy.library)</a>
 127 </li>
 128       <li><a href="library.html#joy.library.divmod_">divmod_() (in module joy.library)</a>
 129 </li>
 130   </ul></td>
 131   <td style="width: 33%; vertical-align: top;"><ul>
 132       <li><a href="stack.html#joy.utils.stack.dnd">dnd() (in module joy.utils.stack)</a>
 133 </li>
 134       <li><a href="library.html#joy.library.drop">drop() (in module joy.library)</a>
 135 </li>
 136       <li><a href="library.html#joy.utils.generated_library.dup">dup() (in module joy.utils.generated_library)</a>
 137 </li>
 138       <li><a href="library.html#joy.utils.generated_library.dupd">dupd() (in module joy.utils.generated_library)</a>
 139 </li>
 140       <li><a href="library.html#joy.utils.generated_library.dupdd">dupdd() (in module joy.utils.generated_library)</a>
 141 </li>
 142       <li><a href="library.html#joy.library.dupdip">dupdip() (in module joy.library)</a>
 143 </li>
 144   </ul></td>
 145 </tr></table>
 146
 147 <h2 id="E">E</h2>
 148 <table style="width: 100%" class="indextable genindextable"><tr>
 149   <td style="width: 33%; vertical-align: top;"><ul>
 150       <li><a href="stack.html#joy.utils.stack.expression_to_string">expression_to_string() (in module joy.utils.stack)</a>
 151 </li>
 152   </ul></td>
 153 </tr></table>
 154
 155 <h2 id="F">F</h2>
 156 <table style="width: 100%" class="indextable genindextable"><tr>
 157   <td style="width: 33%; vertical-align: top;"><ul>
 158       <li><a href="library.html#joy.utils.generated_library.first">first() (in module joy.utils.generated_library)</a>
 159 </li>
 160       <li><a href="library.html#joy.utils.generated_library.first_two">first_two() (in module joy.utils.generated_library)</a>
 161 </li>
 162   </ul></td>
 163   <td style="width: 33%; vertical-align: top;"><ul>
 164       <li><a href="library.html#joy.library.floor">floor() (in module joy.library)</a>
 165 </li>
 166       <li><a href="library.html#joy.utils.generated_library.fourth">fourth() (in module joy.utils.generated_library)</a>
 167 </li>
 168       <li><a href="library.html#joy.library.FunctionWrapper">FunctionWrapper() (in module joy.library)</a>
 169 </li>
 170   </ul></td>
 171 </tr></table>
 172
 173 <h2 id="G">G</h2>
 174 <table style="width: 100%" class="indextable genindextable"><tr>
 175   <td style="width: 33%; vertical-align: top;"><ul>
 176       <li><a href="library.html#joy.library.gcd2">gcd2() (in module joy.library)</a>
 177 </li>
 178       <li><a href="library.html#joy.library.genrec">genrec() (in module joy.library)</a>
 179 </li>
 180   </ul></td>
 181   <td style="width: 33%; vertical-align: top;"><ul>
 182       <li><a href="library.html#joy.library.getitem">getitem() (in module joy.library)</a>
 183 </li>
 184       <li><a href="pretty.html#joy.utils.pretty_print.TracePrinter.go">go() (joy.utils.pretty_print.TracePrinter method)</a>
 185 </li>
 186   </ul></td>
 187 </tr></table>
 188
 189 <h2 id="H">H</h2>
 190 <table style="width: 100%" class="indextable genindextable"><tr>
 191   <td style="width: 33%; vertical-align: top;"><ul>
 192       <li><a href="library.html#joy.library.help_">help_() (in module joy.library)</a>
 193 </li>
 194   </ul></td>
 195 </tr></table>
 196
 197 <h2 id="I">I</h2>
 198 <table style="width: 100%" class="indextable genindextable"><tr>
 199   <td style="width: 33%; vertical-align: top;"><ul>
 200       <li><a href="library.html#joy.library.i">i() (in module joy.library)</a>
 201 </li>
 202       <li><a href="library.html#joy.library.id_">id_() (in module joy.library)</a>
 203 </li>
 204       <li><a href="library.html#joy.library.ifte">ifte() (in module joy.library)</a>
 205 </li>
 206       <li><a href="library.html#joy.library.ii">ii() (in module joy.library)</a>
 207 </li>
 208       <li><a href="library.html#joy.library.infra">infra() (in module joy.library)</a>
 209 </li>
 210   </ul></td>
 211   <td style="width: 33%; vertical-align: top;"><ul>
 212       <li><a href="library.html#joy.library.initialize">initialize() (in module joy.library)</a>
 213 </li>
 214       <li><a href="library.html#joy.library.inscribe">inscribe() (in module joy.library)</a>
 215 </li>
 216       <li><a href="library.html#joy.library.inscribe_">inscribe_() (in module joy.library)</a>
 217 </li>
 218       <li><a href="joy.html#joy.joy.interp">interp() (in module joy.joy)</a>
 219 </li>
 220       <li><a href="stack.html#joy.utils.stack.iter_stack">iter_stack() (in module joy.utils.stack)</a>
 221 </li>
 222   </ul></td>
 223 </tr></table>
 224
 225 <h2 id="J">J</h2>
 226 <table style="width: 100%" class="indextable genindextable"><tr>
 227   <td style="width: 33%; vertical-align: top;"><ul>
 228       <li><a href="joy.html#joy.joy.joy">joy() (in module joy.joy)</a>
 229 </li>
 230       <li>
 231     joy.joy
 232
 233       <ul>
 234         <li><a href="joy.html#module-joy.joy">module</a>
 235 </li>
 236       </ul></li>
 237       <li>
 238     joy.library
 239
 240       <ul>
 241         <li><a href="library.html#module-joy.library">module</a>
 242 </li>
 243       </ul></li>
 244       <li>
 245     joy.parser
 246
 247       <ul>
 248         <li><a href="parser.html#module-joy.parser">module</a>
 249 </li>
 250       </ul></li>
 251   </ul></td>
 252   <td style="width: 33%; vertical-align: top;"><ul>
 253       <li>
 254     joy.utils.generated_library
 255
 256       <ul>
 257         <li><a href="library.html#module-joy.utils.generated_library">module</a>
 258 </li>
 259       </ul></li>
 260       <li>
 261     joy.utils.pretty_print
 262
 263       <ul>
 264         <li><a href="pretty.html#module-joy.utils.pretty_print">module</a>
 265 </li>
 266       </ul></li>
 267       <li>
 268     joy.utils.stack
 269
 270       <ul>
 271         <li><a href="stack.html#module-joy.utils.stack">module</a>
 272 </li>
 273       </ul></li>
 274   </ul></td>
 275 </tr></table>
 276
 277 <h2 id="L">L</h2>
 278 <table style="width: 100%" class="indextable genindextable"><tr>
 279   <td style="width: 33%; vertical-align: top;"><ul>
 280       <li><a href="stack.html#joy.utils.stack.list_to_stack">list_to_stack() (in module joy.utils.stack)</a>
 281 </li>
 282   </ul></td>
 283   <td style="width: 33%; vertical-align: top;"><ul>
 284       <li><a href="library.html#joy.library.loop">loop() (in module joy.library)</a>
 285 </li>
 286   </ul></td>
 287 </tr></table>
 288
 289 <h2 id="M">M</h2>
 290 <table style="width: 100%" class="indextable genindextable"><tr>
 291   <td style="width: 33%; vertical-align: top;"><ul>
 292       <li><a href="library.html#joy.library.map_">map_() (in module joy.library)</a>
 293 </li>
 294       <li><a href="library.html#joy.library.max_">max_() (in module joy.library)</a>
 295 </li>
 296       <li><a href="library.html#joy.library.min_">min_() (in module joy.library)</a>
 297 </li>
 298       <li>
 299     module
 300
 301       <ul>
 302         <li><a href="joy.html#module-joy.joy">joy.joy</a>
 303 </li>
 304         <li><a href="library.html#module-joy.library">joy.library</a>
 305 </li>
 306         <li><a href="parser.html#module-joy.parser">joy.parser</a>
 307 </li>
 308         <li><a href="library.html#module-joy.utils.generated_library">joy.utils.generated_library</a>
 309 </li>
 310         <li><a href="pretty.html#module-joy.utils.pretty_print">joy.utils.pretty_print</a>
 311 </li>
 312         <li><a href="stack.html#module-joy.utils.stack">joy.utils.stack</a>
 313 </li>
 314       </ul></li>
 315   </ul></td>
 316 </tr></table>
 317
 318 <h2 id="O">O</h2>
 319 <table style="width: 100%" class="indextable genindextable"><tr>
 320   <td style="width: 33%; vertical-align: top;"><ul>
 321       <li><a href="library.html#joy.utils.generated_library.over">over() (in module joy.utils.generated_library)</a>
 322 </li>
 323   </ul></td>
 324 </tr></table>
 325
 326 <h2 id="P">P</h2>
 327 <table style="width: 100%" class="indextable genindextable"><tr>
 328   <td style="width: 33%; vertical-align: top;"><ul>
 329       <li><a href="parser.html#joy.parser.ParseError">ParseError</a>
 330 </li>
 331       <li><a href="stack.html#joy.utils.stack.pick">pick() (in module joy.utils.stack)</a>
 332 </li>
 333       <li><a href="library.html#joy.library.pm">pm() (in module joy.library)</a>
 334 </li>
 335       <li><a href="library.html#joy.utils.generated_library.pop">pop() (in module joy.utils.generated_library)</a>
 336 </li>
 337       <li><a href="library.html#joy.utils.generated_library.popd">popd() (in module joy.utils.generated_library)</a>
 338 </li>
 339   </ul></td>
 340   <td style="width: 33%; vertical-align: top;"><ul>
 341       <li><a href="library.html#joy.utils.generated_library.popdd">popdd() (in module joy.utils.generated_library)</a>
 342 </li>
 343       <li><a href="library.html#joy.utils.generated_library.popop">popop() (in module joy.utils.generated_library)</a>
 344 </li>
 345       <li><a href="library.html#joy.utils.generated_library.popopd">popopd() (in module joy.utils.generated_library)</a>
 346 </li>
 347       <li><a href="library.html#joy.utils.generated_library.popopdd">popopdd() (in module joy.utils.generated_library)</a>
 348 </li>
 349       <li><a href="library.html#joy.library.pred">pred() (in module joy.library)</a>
 350 </li>
 351       <li><a href="library.html#joy.library.primrec">primrec() (in module joy.library)</a>
 352 </li>
 353   </ul></td>
 354 </tr></table>
 355
 356 <h2 id="R">R</h2>
 357 <table style="width: 100%" class="indextable genindextable"><tr>
 358   <td style="width: 33%; vertical-align: top;"><ul>
 359       <li><a href="library.html#joy.library.remove">remove() (in module joy.library)</a>
 360 </li>
 361       <li><a href="joy.html#joy.joy.repl">repl() (in module joy.joy)</a>
 362 </li>
 363       <li><a href="library.html#joy.utils.generated_library.rest">rest() (in module joy.utils.generated_library)</a>
 364 </li>
 365       <li><a href="library.html#joy.library.reverse">reverse() (in module joy.library)</a>
 366 </li>
 367   </ul></td>
 368   <td style="width: 33%; vertical-align: top;"><ul>
 369       <li><a href="library.html#joy.utils.generated_library.rolldown">rolldown() (in module joy.utils.generated_library)</a>
 370 </li>
 371       <li><a href="library.html#joy.utils.generated_library.rollup">rollup() (in module joy.utils.generated_library)</a>
 372 </li>
 373       <li><a href="library.html#joy.utils.generated_library.rrest">rrest() (in module joy.utils.generated_library)</a>
 374 </li>
 375       <li><a href="joy.html#joy.joy.run">run() (in module joy.joy)</a>
 376 </li>
 377   </ul></td>
 378 </tr></table>
 379
 380 <h2 id="S">S</h2>
 381 <table style="width: 100%" class="indextable genindextable"><tr>
 382   <td style="width: 33%; vertical-align: top;"><ul>
 383       <li><a href="library.html#joy.utils.generated_library.second">second() (in module joy.utils.generated_library)</a>
 384 </li>
 385       <li><a href="library.html#joy.library.select">select() (in module joy.library)</a>
 386 </li>
 387       <li><a href="library.html#joy.library.sharing">sharing() (in module joy.library)</a>
 388 </li>
 389       <li><a href="library.html#joy.library.shunt">shunt() (in module joy.library)</a>
 390 </li>
 391       <li><a href="library.html#joy.library.SimpleFunctionWrapper">SimpleFunctionWrapper() (in module joy.library)</a>
 392 </li>
 393       <li><a href="library.html#joy.library.sort_">sort_() (in module joy.library)</a>
 394 </li>
 395       <li><a href="library.html#joy.library.sqrt">sqrt() (in module joy.library)</a>
 396 </li>
 397       <li><a href="library.html#joy.utils.generated_library.stack">stack() (in module joy.utils.generated_library)</a>
 398 </li>
 399       <li><a href="stack.html#joy.utils.stack.stack_to_string">stack_to_string() (in module joy.utils.stack)</a>
 400 </li>
 401   </ul></td>
 402   <td style="width: 33%; vertical-align: top;"><ul>
 403       <li><a href="library.html#joy.library.step">step() (in module joy.library)</a>
 404 </li>
 405       <li><a href="library.html#joy.utils.generated_library.stuncons">stuncons() (in module joy.utils.generated_library)</a>
 406 </li>
 407       <li><a href="library.html#joy.utils.generated_library.stununcons">stununcons() (in module joy.utils.generated_library)</a>
 408 </li>
 409       <li><a href="library.html#joy.library.succ">succ() (in module joy.library)</a>
 410 </li>
 411       <li><a href="library.html#joy.library.sum_">sum_() (in module joy.library)</a>
 412 </li>
 413       <li><a href="library.html#joy.utils.generated_library.swaack">swaack() (in module joy.utils.generated_library)</a>
 414 </li>
 415       <li><a href="library.html#joy.utils.generated_library.swap">swap() (in module joy.utils.generated_library)</a>
 416 </li>
 417       <li><a href="library.html#joy.utils.generated_library.swons">swons() (in module joy.utils.generated_library)</a>
 418 </li>
 419       <li><a href="parser.html#joy.parser.Symbol">Symbol (class in joy.parser)</a>
 420 </li>
 421   </ul></td>
 422 </tr></table>
 423
 424 <h2 id="T">T</h2>
 425 <table style="width: 100%" class="indextable genindextable"><tr>
 426   <td style="width: 33%; vertical-align: top;"><ul>
 427       <li><a href="library.html#joy.library.take">take() (in module joy.library)</a>
 428 </li>
 429       <li><a href="parser.html#joy.parser.text_to_expression">text_to_expression() (in module joy.parser)</a>
 430 </li>
 431       <li><a href="library.html#joy.utils.generated_library.third">third() (in module joy.utils.generated_library)</a>
 432 </li>
 433   </ul></td>
 434   <td style="width: 33%; vertical-align: top;"><ul>
 435       <li><a href="library.html#joy.library.times">times() (in module joy.library)</a>
 436 </li>
 437       <li><a href="pretty.html#joy.utils.pretty_print.trace">trace() (in module joy.utils.pretty_print)</a>
 438 </li>
 439       <li><a href="pretty.html#joy.utils.pretty_print.TracePrinter">TracePrinter (class in joy.utils.pretty_print)</a>
 440 </li>
 441       <li><a href="library.html#joy.utils.generated_library.tuck">tuck() (in module joy.utils.generated_library)</a>
 442 </li>
 443   </ul></td>
 444 </tr></table>
 445
 446 <h2 id="U">U</h2>
 447 <table style="width: 100%" class="indextable genindextable"><tr>
 448   <td style="width: 33%; vertical-align: top;"><ul>
 449       <li><a href="library.html#joy.library.UnaryBuiltinWrapper">UnaryBuiltinWrapper() (in module joy.library)</a>
 450 </li>
 451       <li><a href="library.html#joy.utils.generated_library.uncons">uncons() (in module joy.utils.generated_library)</a>
 452 </li>
 453       <li><a href="library.html#joy.library.unique">unique() (in module joy.library)</a>
 454 </li>
 455   </ul></td>
 456   <td style="width: 33%; vertical-align: top;"><ul>
 457       <li><a href="library.html#joy.utils.generated_library.unit">unit() (in module joy.utils.generated_library)</a>
 458 </li>
 459       <li><a href="joy.html#joy.joy.UnknownSymbolError">UnknownSymbolError</a>
 460 </li>
 461       <li><a href="library.html#joy.utils.generated_library.unswons">unswons() (in module joy.utils.generated_library)</a>
 462 </li>
 463   </ul></td>
 464 </tr></table>
 465
 466 <h2 id="V">V</h2>
 467 <table style="width: 100%" class="indextable genindextable"><tr>
 468   <td style="width: 33%; vertical-align: top;"><ul>
 469       <li><a href="pretty.html#joy.utils.pretty_print.TracePrinter.viewer">viewer() (joy.utils.pretty_print.TracePrinter method)</a>
 470 </li>
 471   </ul></td>
 472   <td style="width: 33%; vertical-align: top;"><ul>
 473       <li><a href="library.html#joy.library.void">void() (in module joy.library)</a>
 474 </li>
 475   </ul></td>
 476 </tr></table>
 477
 478 <h2 id="W">W</h2>
 479 <table style="width: 100%" class="indextable genindextable"><tr>
 480   <td style="width: 33%; vertical-align: top;"><ul>
 481       <li><a href="library.html#joy.library.warranty">warranty() (in module joy.library)</a>
 482 </li>
 483   </ul></td>
 484   <td style="width: 33%; vertical-align: top;"><ul>
 485       <li><a href="library.html#joy.library.words">words() (in module joy.library)</a>
 486 </li>
 487   </ul></td>
 488 </tr></table>
 489
 490 <h2 id="X">X</h2>
 491 <table style="width: 100%" class="indextable genindextable"><tr>
 492   <td style="width: 33%; vertical-align: top;"><ul>
 493       <li><a href="library.html#joy.library.x">x() (in module joy.library)</a>
 494 </li>
 495   </ul></td>
 496 </tr></table>
 497
 498 <h2 id="Z">Z</h2>
 499 <table style="width: 100%" class="indextable genindextable"><tr>
 500   <td style="width: 33%; vertical-align: top;"><ul>
 501       <li><a href="library.html#joy.library.zip_">zip_() (in module joy.library)</a>
 502 </li>
 503   </ul></td>
 504 </tr></table>
 505
 506
 507
 508           </div>
 509
 510         </div>
 511       </div>
 512       <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
 513         <div class="sphinxsidebarwrapper">
 514 <h1 class="logo"><a href="index.html">Thun</a></h1>
 515
 516
 517
 518
 519
 520
 521
 522
 523 <h3>Navigation</h3>
 524 <ul>
 525 <li class="toctree-l1"><a class="reference internal" href="notebooks/Intro.html">Thun: Joy in Python</a></li>
 526 <li class="toctree-l1"><a class="reference internal" href="joy.html">Joy Interpreter</a></li>
 527 <li class="toctree-l1"><a class="reference internal" href="stack.html">Stack or Quote or Sequence or List…</a></li>
 528 <li class="toctree-l1"><a class="reference internal" href="parser.html">Parsing Text into Joy Expressions</a></li>
 529 <li class="toctree-l1"><a class="reference internal" href="pretty.html">Tracing Joy Execution</a></li>
 530 <li class="toctree-l1"><a class="reference internal" href="library.html">Function Reference</a></li>
 531 <li class="toctree-l1"><a class="reference internal" href="lib.html">Functions Grouped by, er, Function with Examples</a></li>
 532 <li class="toctree-l1"><a class="reference internal" href="types.html">Type Inference of Joy Expressions</a></li>
 533 <li class="toctree-l1"><a class="reference internal" href="notebooks/index.html">Essays about Programming in Joy</a></li>
 534 </ul>
 535
 536 <div class="relations">
 537 <h3>Related Topics</h3>
 538 <ul>
 539   <li><a href="index.html">Documentation overview</a><ul>
 540   </ul></li>
 541 </ul>
 542 </div>
 543 <div id="searchbox" style="display: none" role="search">
 544   <h3 id="searchlabel">Quick search</h3>
 545     <div class="searchformwrapper">
 546     <form class="search" action="search.html" method="get">
 547       <input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
 548       <input type="submit" value="Go" />
 549     </form>
 550     </div>
 551 </div>
 552 <script>$('#searchbox').show(0);</script>
 553
 554
 555
 556
 557
 558
 559
 560
 561         </div>
 562       </div>
 563       <div class="clearer"></div>
 564     </div>
 565     <div class="footer" role="contentinfo">
 566 <a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/4.0/">
 567 <img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png" />
 568 </a>
 569 <br />
 570 <span xmlns:dct="http://purl.org/dc/terms/" property="dct:title">Thun Documentation</span> by <a xmlns:cc="http://creativecommons.org/ns#" href="https://joypy.osdn.io/" property="cc:attributionName" rel="cc:attributionURL">Simon Forman</a> is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/4.0/">Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.<br />Based on a work at <a xmlns:dct="http://purl.org/dc/terms/" href="https://osdn.net/projects/joypy/" rel="dct:source">https://osdn.net/projects/joypy/</a>.
 571       Created using <a href="http://sphinx-doc.org/">Sphinx</a> 4.4.0.
 572     </div>
 573
 574   </body>
 575 </html>