John Connor
Results
2
comments of
John Connor
I came here to request a similar feature. I would like the ability to use a block as input to an arbitrary command, with the commands output added to the...
On unix the Idris REPL can be configured by editing `$HOME/.idris/repl/init` but it appears that the REPL in atom does not read this file when it starts up. I suppose...