Skip to content

Re-implement proto-translation based on newer alloy specifications#232

Merged
Baccata merged 7 commits intomainfrom rework-proto-translation-2Feb 21, 2024