Tesla Coils & Corpses report: programming language design

[Ben Laurie]

On 18 December 2014 at 21:17, Zooko Wilcox-OHearn
<zooko at leastauthority.com> wrote:
> You can obviously do abstract interpretation using types. Let's say
> you have a range type of the integers from A‥B. (Let's use the
> convention that this is inclusive of A and exclusive of B.) So we can
> have A‥B + C‥D = (A+C)‥(B+D).

Surely (A+C)..(B+D-1).

Including B would've made it easier :-)