3 ms·
While I'd never heard of the language or compiler before, so unless you want a title that covers the blog post, I don't know how you want to get rid of your obj
by benj111 4y ago
While I'd never heard of the language or compiler before, so unless you want a title that covers the blog post, I don't know how you want to get rid of your objections.
- avgcorrection 4y agoBlog post with submission title: “Fault is a language for modeling systems that compiles down to SMT” This is in the power of the submitter since the submitter is the author of this piece.
- cinntaile 4y agoThat would be an incorrect description of the content. The point of the article isn't to introduce the language, the point is to sollicit feedback.