Travis build 89 on Thu Dec 29 18:46:53 UTC 2016

Author: Hodapp87

pages/links.html

@@ -57,6 +57,7 @@ <h1 id="code-generation-edsls">Code Generation EDSLs</h1>
 <ul>
 <li>This experience report is probably the best introduction: <a href="https://github.com/GaloisInc/smaccmpilot-experiencereport/blob/master/embedded-experience.pdf?raw=true" title="Hickey, P. C., Pike, L., Elliott, T., Bielman, J., &amp; Launchbury, J. (2014) Building Embedded Systems with Embedded DSLs (Experience Report).">Building Embedded Systems with Embedded DSLs (Experience Report)</a></li>
 <li>Their GitHub repo contains a <a href="https://github.com/GaloisInc/ivory/tree/master/ivory-paper">paper</a> that is still a work-in-progress.</li>
+<li>Our own <a href="https://github.com/HaskellEmbedded/ion">Ion</a> library (see the <a href="../posts/2016-09-23-introducing-ion.html">Introducing Ion</a> post) targets Ivory.</li>
 </ul></li>
 <li><a href="https://github.com/leepike/Copilot">Copilot</a> (<a href="http://hackage.haskell.org/package/copilot">hackage</a>) is a “stream language for generating hard real-time C code” also from Galois. Documentation on Copilot is excellent.
 <ul>