Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709
stars
124
forks
source link
[files] Check if opened file has .md extension #56
Since we now support markdown, it is nice to also support .md extensions for modules.