www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

Ectx.rkt (744B)

      1 #lang at-exp s-exp phc-thesis/scribblings/equations-lang
      2 
      3 @; This file is NOT under the CC0 license, as it contains rules and definitions
      4 @; copied with permission from Sam Tobin-Hochstadt's Ph.D thesis. I obtained the
      5 @; permission to copy these rules, but did not ask for a relicensing under the
      6 @; CC0 license.
      7 
      8 @cases["E" #:first-sep "⩴"
      9        @acase{[⋅] @tag*{program entry point}}
     10        ;@acase{@app[E @repeated{e}]}; I think this case is not needed.
     11        @acase{@app[@repeated{v} E @repeated{e}]@tag*{function application}}
     12        @acase{@ifop[E e e]@tag*{conditional}}
     13        @acase{@eq?op[E e]@tag*{symbol equality}}
     14        @acase{@eq?op[v E]}
     15        @acase{@mapop[E e]@tag*{map function over list}}
     16        @acase{@mapop[v E]}]