[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Spec Review Request

From: Jamie White <ja...@xxxxxxxxxxxxx>
Date: Wed, 14 Feb 2018 11:24:07 +0000
References: <77e1257e-b809-4b58-bef1-095c060581ac@googlegroups.com> <CAPZtpk3UDPa9U8SOz6R9PHAegAYwWrngsdd+tJPH+Ux41ip3Ag@mail.gmail.com> <9e505bfa-5935-4766-bb44-bc0ee52a7f4c@googlegroups.com> <DAD2A893-DDFC-485C-A8C2-9F3AA33626CE@gmail.com>

Hi Stephan

Thanks so much for taking a look. Your comments are, like Chris’s, absolute gold.

I’ll definitely apply your suggestions, particularly regarding TypeOK.

I wasn’t aware of the @ operator for EXCEPT. Fantastic stuff!

Jamie

References:
- Spec Review Request
  - From: Jamie White
- Re: [tlaplus] Spec Review Request
  - From: Chris Newcombe
- Re: [tlaplus] Spec Review Request
  - From: Jamie White
- Re: [tlaplus] Spec Review Request
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] Spec Review Request
Next by Date: Re: [tlaplus] Hard Drive Usage
Previous by thread: Re: [tlaplus] Spec Review Request
Next by thread: Re: [tlaplus] Spec Review Request
Index(es):
- Date
- Thread