tricu

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

demos_contractBasics.manifest (1041B)

      1 arboricx.module-manifest.v1
      2 export	myAndC	arboricx.indexed-tree.v1	8aa9aee5f5e2f08021b211d29132efb043963cfb0487f5c8c69103370e979e5b	arboricx.abi.tree.v1
      3 export	natural?	arboricx.indexed-tree.v1	0660d0977adbe2372b02a21613fcba46b1cf162b2c9ac6da313f1f8052b1878c	arboricx.abi.tree.v1
      4 export	myNonZero?	arboricx.indexed-tree.v1	12ffae613b6629b94eb2016e9bb3af8b37a169fd770a21b0da5ed10e73bf5434	arboricx.abi.tree.v1
      5 export	myHead	arboricx.indexed-tree.v1	06d2ee2f7c3d78d06ba36fe9ec31804310213b5b220ef0ddb90486a925086d37	arboricx.abi.tree.v1
      6 export	myTail	arboricx.indexed-tree.v1	05e0eafa676f2cde944a2a051487aa2668ecef49c71e6258a5f08902ffdcc084	arboricx.abi.tree.v1
      7 export	myDiv	arboricx.indexed-tree.v1	6f3436e458e3b582c753bce5df0c918f4bff228c826d23732ed5e23c14542bbd	arboricx.abi.tree.v1
      8 export	checkedSuccessor	arboricx.indexed-tree.v1	085c5b836e9a8a5ebcfa852bda07e83727866c8f6e50e05bdd73194453130666	arboricx.abi.tree.v1
      9 export	main	arboricx.indexed-tree.v1	d225e989820ba2d4999d3481859918aa37a0925880aa7f07f28d1c144a61c3ea	arboricx.abi.tree.v1