About the Experimental category

[peter.kriens]

Disscussions about experiments with the Alloy code base