MSPEC Machine Specification
From Logic Wiki
machine.specifications (MSPEC)
https://github.com/machine/machine.specifications
Machine.Specifications (MSpec) is a context/specification framework that removes language noise and simplifies tests. All it asks is that you accept the = () =>.
