On Tue, Sep 1, 2015 at 11:23 PM, Richard A. O'Keefe <ok@cs.otago.ac.nz> wrote:
And again, nothing stops someone making a nice structured language whose compiler targets COBOL.


It has happened. =)

https://github.com/kadmia/Idris-dev/commit/2ac3c162a082afd83c44add91f8b5b10143bf5d2

-Edward