By chance I came just today across GitHub's SpecLang: https://githubnext.com/projects/speclang/ https://githubnext.com/projects/speclang/ Funny coincidence!

By chance I came just today across GitHub's SpecLang: https://githubnext.com/projects/speclang/ https://githubnext.com/projects/speclang/ Funny coincidence! I leave it here for the nice contrast it creates in light of the submission we're discussing.