../ Core/Merge pull request #564 from LeifW/golf13 years ago IRTS/Adds the ability to keep around the generated maven project13 years ago Idris/Add :addmissing REPL command13 years ago Pkg/Wrap Idris in an ErrorT13 years ago Util/Only bind to the localhost interface from REPL network socket.13 years ago .ghciAdded .ghci specifying language extensions.13 years ago Main.hsAdds the ability to keep around the generated maven project13 years ago