Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style).
Based on this gist
There are some problems with the => symbol.
Just use implies instead.
Dowload the .sty file you find in this repo.
Add the dependencies and the .sty file to your main file :
\usepackage[dvipsnames]{xcolor}
\usepackage{listings}
\usepackage{alloy-style}To use it just include your alloy source code where you want :
\lstinputlisting[language=alloy]{path-to-your-alloy-source-code}Do what you want with this library.