Language ASL
GitHub
https://github.com/softlang/yas/tree/master/languages/ASL
Expansion
Algebraic Specification Language
Headline
A simple language for algebraic specification
https://github.com/softlang/yas/tree/master/languages/ASL
Algebraic Specification Language
A simple language for algebraic specification