• Adam Nelson's avatar
    Rearrange helper files, add syntax sugar · 296c77dc
    Adam Nelson authored
    - Split up DefineUtils into separate files following the HOL convention
      (e.g., fooScript + fooLib)
    - sumMonadTheory merged into monadsTheory, which now contains list and
      option monads as well
    - List and option monads used to clean up code throughout the project
    - Extra unicode symbols/operators in syntaxSugarTheory
    296c77dc
syntaxSugarScript.sml 597 Bytes