tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

demos_equality.manifest (1845B)

      1 arboricx.module-manifest.v1
      2 export	demo_false	arboricx.indexed-tree.v1	6f93378feaa8bf5ab7cefc071175a654c871bfd53f165d7d96795fb2b38483f1	arboricx.abi.tree.v1
      3 export	demo_true	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
      4 export	not_TC?	arboricx.indexed-tree.v1	314affa8a7250aa5cb4cf00e35449676ae3a18cacd6478026c3e01131fe74b21	arboricx.abi.tree.v1
      5 export	demo_triage	arboricx.indexed-tree.v1	3b89c8b2218cd7c9969398c48c0becc6671ab0ab5c456dcf575109b2bae0d28d	arboricx.abi.tree.v1
      6 export	demo_matchBool	arboricx.indexed-tree.v1	5e75e2eba9d9f1465e75b35d5f2c974e02da8609c384965533123cf159c8afa1	arboricx.abi.tree.v1
      7 export	not_Lambda?	arboricx.indexed-tree.v1	314affa8a7250aa5cb4cf00e35449676ae3a18cacd6478026c3e01131fe74b21	arboricx.abi.tree.v1
      8 export	lambdaEqualsTC	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
      9 export	main	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
     10 export	true_TC?	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
     11 export	false_TC?	arboricx.indexed-tree.v1	6f93378feaa8bf5ab7cefc071175a654c871bfd53f165d7d96795fb2b38483f1	arboricx.abi.tree.v1
     12 export	true_Lambda?	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
     13 export	false_Lambda?	arboricx.indexed-tree.v1	6f93378feaa8bf5ab7cefc071175a654c871bfd53f165d7d96795fb2b38483f1	arboricx.abi.tree.v1
     14 export	bothTrueEqual?	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1
     15 export	bothFalseEqual?	arboricx.indexed-tree.v1	2177bae1081d12a6f888b5efc89a27616aaf6e5df019f156a0f3d4c2d14bb270	arboricx.abi.tree.v1