An Encoding Agnostic Validation Language
Why do you think that https://github.com/github/semantic is a good alternative to katydid
An Encoding Agnostic Validation Language
Why do you think that https://github.com/github/semantic is a good alternative to katydid