Hacker News new | ask | show | jobs
by AstralStorm 3375 days ago
It is TLA+, not quite typical math notation. Lambda and list comprehension notations are more common.