Closed marcellussiegburg closed 1 year ago
Embedding the Alloy library leads to huge executables. This should be avoided by embedding it as data-file.
data-file
Embedding the Alloy library leads to huge executables. This should be avoided by embedding it as
data-file
.