partiql-spec icon indicating copy to clipboard operation
partiql-spec copied to clipboard

Published 20 hours ago • verified publisher icon partiql

PSR for LET, LETTING

Open dlurton opened this issue 4 years ago • 2 comments

Contains a PSR for, LET, and LETTING. I'm leaving most of WITH undefined at this point but I think LET and LETTING are pretty clear.

The built PDF is intended to ultimately contain all of the current PSRs that haven't been adopted into the formal specification yet. At the moment there is only one. Also, this was intended to be easily copy & pasteable into the formal specification without a ton of effort, so it is written in LaTex, uses the same preamble.tex and moves some macros previously defined in spec/main.tex to common/macros.tex.

To build:

cd psr
make

Resulting pdf file resides in spr/main.pdf.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

dlurton avatar Oct 02 '20 20:10 dlurton

Reuploaded: main.pdf

dlurton avatar Oct 05 '20 21:10 dlurton

Revision LGTM. Think there was one typo not addressed yet.

alancai98 avatar Oct 06 '20 15:10 alancai98