concordialangConcordia Language Compilerconcordiaconcordialangconcordia-langagilerequirementspecspecificationspecification-by-exampleatddbdd2.0.0-alpha.20 • Published 2 years ago