www

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

envrt.rkt (518B)

      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["ℰ" #:first-sep "⩴"
      9        @acase{@repeated{@↦v[x v]}
     10         \ @repeated{@↦v[α τ]}
     11         \ @repeated{@↦v[@polydotα[α] @repeated{τ}]}
     12         @tag*{bound variables @${\&} types}}]