undefined | Better HN

0 pointsavgcorrection3y ago0 comments

Blog 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.

0 comments

1 comments · 1 top-level

That 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.

j / k navigate · click thread line to collapse