YAS directory languages/ASL/samples

GitHub

https://github.com/softlang/yas/tree/master/languages/ASL/samples

---

Properties

None

---

Components

• languages/ASL/samples/sorting.asl (Algebraic specification)

---