search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
694 stars 123 forks source link

Remove `disjoint` keyword #205

Closed grayswandyr closed 1 year ago

grayswandyr commented 1 year ago

I just discovered this keyword, a synonym for disj. @dnjackson do you agree to the removal?

dnjackson commented 1 year ago

I didn't even know it existed, and I think it's good to remove it.

nmacedo commented 1 year ago

Removed for 6.2.