george

This is a language that I learned for SE212.

It is actually pretty straightforward.

Set Comprehension in George

Q = { x + y for x : nat , y : nat 2 if x <= 2 & y <= 1 }