A Plan for Herbie Plaforms

This blog post is a design document, laying out how the platforms feature should work and how it should be organized. First—what is the platforms feature? I think it’s useful to separate out two parts: Users should be able to specify a platform when invoking Herbie. Users should also be able to make new platforms. Let’s consider each in turn, but first—a background on platforms. What is a…