Name		Name	Last commit message	Last commit date
parent directory ..
examples		examples
README.md		README.md
alloy.g4		alloy.g4
pom.xml		pom.xml

README.md

Alloy Grammar

An ANTLR4 grammar for Alloy

Examples are from https://alloytools.org/

Grammar from here