Come Break My Compiler

from blog Stories by Marianne Bellotti on Medium, | ↗ original
Don’t worry … it’s super easy 🙃As some of you know, I’ve been working on a programming language and compiler. More specifically Fault is a language for modeling systems that compiles down to SMT.SMT is a form of logic programming that helps you reason about the design and behavior of systems. The reason why I was interested in writing a language...