Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adding a flattened version of the syntactic sugar & note on the diffe…
…rence between the regular and syntactic sugar syntax (#65) * proceed -> precede * adding the equivalent tripleTerm & accompanying note * updating title of example to be in line with later equivalency examples --------- Co-authored-by: william-vw <wvw@Williams-MBP.lan> Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com> Co-authored-by: Dominik Tomaszuk <ddooss@wp.pl> Co-authored-by: Gregg Kellogg <gregg@greggkellogg.net>
- Loading branch information