tricu

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

structural-equality.scp (216B)

      1 -- `equal` compares the *trees*, not the behavior of values used as functions.
      2 -- Input: (left, right); no state. Returns canonical SCP true/false.
      3 consumer structuralEquality
      4   (left, right) @ _ => equal left right