- <td class="snns component magenta">dynamic typing</td>
- <td class="snns plane magenta">"big tree" parallel computation</td>
- <td class="snns file magenta">yprs ( ? ⊢ ⦃?,?⦄ ≥[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">yprs_yprs</td>
- <td class="snnn file magenta">ygt ( ? ⊢ ⦃?,?⦄ >[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">ygt_ygt</td>
- <td class="ssnn file magenta">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component magenta">
- <br />
- </td>
- <td class="snns plane magenta">"big tree" parallel reduction</td>
- <td class="snns file magenta">ypr ( ? ⊢ ⦃?,?⦄ ≽[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">ysc ( ? ⊢ ⦃?,?⦄ ≻[g] ⦃?,?⦄ )</td>
- <td class="snnn file magenta">
- <br />
- </td>
- <td class="snnn file magenta">
+ <td class="snns component prune">dynamic typing</td>
+ <td class="snns plane prune">local env. ref. for stratified native validity</td>
+ <td class="snns file prune">lsubsv ( ? ⊢ ? ¡⊑[?,?] ? )</td>
+ <td class="snnn file prune">lsubsv_ldrop lsubsv_lsubd lsubsv_lsuba lsubsv_lsstas lsubsv_cpds lsubsv_cpcs lsubsv_snv</td>
+ <td class="snnn file prune">