p.rkt (811B)
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[@primop #:first-sep "⩴" 9 @acase{@textit{add1}@tag*{returns its argument plus @${1}}} 10 @acase{@textit{number?}@tag*{number predicate}} 11 @acase{@textit{pair?}@tag*{pair predicate}} 12 @acase{@textit{null?}@tag*{@null-v predicate}} 13 @acase{@textit{identity}@tag*{identity function}} 14 @acase{@consp @tag*{pair construction}} 15 @acase{@textit{car}@tag*{first element of pair}} 16 @acase{@textit{cdr}@tag*{second element of pair}} 17 @acase{…}]