<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Sep 1, 2015 at 11:23 PM, Richard A. O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">And again, nothing stops someone making a┬ánice structured language whose compiler targets COBOL.<br>
<br></blockquote><div><br></div><div>It has happened. =)</div><div><br></div><div><a href="https://github.com/kadmia/Idris-dev/commit/2ac3c162a082afd83c44add91f8b5b10143bf5d2">https://github.com/kadmia/Idris-dev/commit/2ac3c162a082afd83c44add91f8b5b10143bf5d2</a><br></div><div><br></div><div>-Edward</div><div><br></div></div></div></div>