Add quick and dirty Emacs interactive editing support
Add quick and dirty Emacs interactive editing support

aaronc/Idris-dev,ExNexu/Idris-dev,ExNexu/Idris-dev,rpglover64/Idris-dev,osa1/Idris-dev,stevejb71/Idris-dev,uuhan/Idris-dev,douglas-larocca/Idris-dev,kojiromike/Idris-dev,eklavya/Idris-dev,ozgurakgun/Idris-dev,ben-schulz/Idris-dev,Melvar/Idris-dev,cbiffle/Idris-dev,stevejb71/Idris-dev,bkolad/Idris-dev,sdroege/Idris-dev,phaazon/Idris-dev,uwap/Idris-dev,Ivanknmk/Idris-dev,mrmonday/Idris-dev,NightRa/Idris-dev,mpkh/Idris-dev,tpsinnem/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,simon-bourne/Idris-dev,athanclark/Idris-dev,comco/Idris-dev,NightRa/Idris-dev,uuhan/Idris-dev,adnelson/Idris-dev,stevejb71/Idris-dev,uwap/Idris-dev,raichoo/Idris-dev,Ivanknmk/Idris-dev,MetaMemoryT/Idris-dev,andyarvanitis/Idris-dev,mrmonday/Idris-dev,bravit/Idris-dev,Melvar/Idris-dev,BartAdv/Idris-dev,ben-schulz/Idris-dev,ozgurakgun/Idris-dev,bravit/Idris-dev,enolan/Idris-dev,comco/Idris-dev,ben-schulz/Idris-dev,stevejb71/Idris-dev,eklavya/Idris-dev,athanclark/Idris-dev,enolan/Idris-dev,tpsinnem/Idris-dev,mpkh/Idris-dev,ctford/Idris-Elba-dev,aaronc/Idris-dev,TimRichter/Idris-dev,markuspf/Idris-dev,phaazon/Idris-dev,bkoropoff/Idris-dev,MetaMemoryT/Idris-dev,Melvar/Idris-dev,sdroege/Idris-dev,shlevy/Idris-dev,athanclark/Idris-dev,bravit/Idris-dev,uwap/Idris-dev,RossMeikleham/Idris-dev,mpkh/Idris-dev,TimRichter/Idris-dev,ctford/Idris-Elba-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,comco/Idris-dev,lenary/Idris-dev,comco/Idris-dev,cbiffle/Idris-dev,Heather/Idris-dev,simon-bourne/Idris-dev,BartAdv/Idris-dev,ozgurakgun/Idris-dev,Heather/Idris-dev,Enamex/Idris-dev,NightRa/Idris-dev,kojiromike/Idris-dev,Ivanknmk/Idris-dev,jeremy-w/Idris-dev,ben-schulz/Idris-dev,uuhan/Idris-dev,osa1/Idris-dev,Heather/Idris-dev,DanielWaterworth/Idris-dev,uwap/Idris-dev,BartAdv/Idris-dev,rpglover64/Idris-dev,FranklinChen/Idris-dev,phaazon/Idris-dev,KaneTW/Idris-dev,MetaMemoryT/Idris-dev,bkoropoff/Idris-dev,ctford/Idris-Elba-dev,stevejb71/Idris-dev,jmitchell/Idris-dev,Melvar/Idris-dev,shlevy/Idris-dev,jeremy-w/Idris-dev,andyarvanitis/Idris-dev,cbiffle/Idris-dev,aaronc/Idris-dev,Ivanknmk/Idris-dev,KaneTW/Idris-dev,MetaMemoryT/Idris-dev,enolan/Idris-dev,cbiffle/Idris-dev,jmitchell/Idris-dev,NightRa/Idris-dev,cbiffle/Idris-dev,raichoo/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev,simon-bourne/Idris-dev,athanclark/Idris-dev,FranklinChen/Idris-dev,tpsinnem/Idris-dev,TimRichter/Idris-dev,RossMeikleham/Idris-dev,FranklinChen/Idris-dev,bravit/Idris-dev,lenary/Idris-dev,rpglover64/Idris-dev,aaronc/Idris-dev,ExNexu/Idris-dev,rpglover64/Idris-dev,raichoo/Idris-dev,lenary/Idris-dev,aaronc/Idris-dev,jeremy-w/Idris-dev,jmitchell/Idris-dev,adnelson/Idris-dev,eklavya/Idris-dev,lenary/Idris-dev,ExNexu/Idris-dev,markuspf/Idris-dev,BartAdv/Idris-dev,bravit/Idris-dev,TimRichter/Idris-dev,jeremy-w/Idris-dev,RossMeikleham/Idris-dev,bkoropoff/Idris-dev,douglas-larocca/Idris-dev,sdroege/Idris-dev,MetaMemoryT/Idris-dev,adnelson/Idris-dev,sdroege/Idris-dev,raichoo/Idris-dev,Ivanknmk/Idris-dev,douglas-larocca/Idris-dev,DanielWaterworth/Idris-dev,Enamex/Idris-dev,KaneTW/Idris-dev,athanclark/Idris-dev,Ivanknmk/Idris-dev,DanielWaterworth/Idris-dev,tpsinnem/Idris-dev,eklavya/Idris-dev,Enamex/Idris-dev,lenary/Idris-dev,TimRichter/Idris-dev,bkoropoff/Idris-dev,NightRa/Idris-dev,osa1/Idris-dev,osa1/Idris-dev,comco/Idris-dev,ben-schulz/Idris-dev,RossMeikleham/Idris-dev,stevejb71/Idris-dev,ozgurakgun/Idris-dev,RossMeikleham/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,Melvar/Idris-dev,ben-schulz/Idris-dev,sdroege/Idris-dev,RossMeikleham/Idris-dev,phaazon/Idris-dev,bkolad/Idris-dev,rpglover64/Idris-dev,simon-bourne/Idris-dev,uwap/Idris-dev,Heather/Idris-dev,bkolad/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,simon-bourne/Idris-dev,douglas-larocca/Idris-dev,ExNexu/Idris-dev,douglas-larocca/Idris-dev,jmitchell/Idris-dev,shlevy/Idris-dev,jeremy-w/Idris-dev,enolan/Idris-dev,enolan/Idris-dev,BartAdv/Idris-dev,kojiromike/Idris-dev,KaneTW/Idris-dev,raichoo/Idris-dev,osa1/Idris-dev,Heather/Idris-dev,osa1/Idris-dev,tpsinnem/Idris-dev,bkoropoff/Idris-dev,DanielWaterworth/Idris-dev,adnelson/Idris-dev,mpkh/Idris-dev,Enamex/Idris-dev,enolan/Idris-dev,mrmonday/Idris-dev,uuhan/Idris-dev,TimRichter/Idris-dev,rpglover64/Idris-dev,DanielWaterworth/Idris-dev,bkolad/Idris-dev,bkolad/Idris-dev,jmitchell/Idris-dev,adnelson/Idris-dev,phaazon/Idris-dev,uuhan/Idris-dev,ExNexu/Idris-dev,MetaMemoryT/Idris-dev,mrmonday/Idris-dev,bravit/Idris-dev,Enamex/Idris-dev,jeremy-w/Idris-dev,mpkh/Idris-dev,ctford/Idris-Elba-dev,shlevy/Idris-dev,ctford/Idris-Elba-dev,uuhan/Idris-dev,andyarvanitis/Idris-dev,andyarvanitis/Idris-dev,eklavya/Idris-dev,simon-bourne/Idris-dev,Melvar/Idris-dev,andyarvanitis/Idris-dev,sdroege/Idris-dev,comco/Idris-dev,raichoo/Idris-dev,bkolad/Idris-dev,adnelson/Idris-dev,markuspf/Idris-dev,mrmonday/Idris-dev,kojiromike/Idris-dev,athanclark/Idris-dev,NightRa/Idris-dev,FranklinChen/Idris-dev,Enamex/Idris-dev,shlevy/Idris-dev,ozgurakgun/Idris-dev,andyarvanitis/Idris-dev,ozgurakgun/Idris-dev,uwap/Idris-dev,uuhan/Idris-dev,tpsinnem/Idris-dev,lenary/Idris-dev,markuspf/Idris-dev,phaazon/Idris-dev,mrmonday/Idris-dev,KaneTW/Idris-dev,aaronc/Idris-dev,shlevy/Idris-dev,douglas-larocca/Idris-dev,cbiffle/Idris-dev,KaneTW/Idris-dev,markuspf/Idris-dev,BartAdv/Idris-dev,bkoropoff/Idris-dev