atom-language-idris
atom-language-idris copied to clipboard
idris-hackers
A Idris Mode for Atom.io
Consider the following (incomplete) function with holes in the type and definition: ```idris myFun : ?ArgType -> String myFun x = ?myFun_rhs ``` Inspecting the type of the hole `myFun_rhs`...
Hi, In the long programming sessions, Idris process leaks memory and slows everything down. Would be great to add a config option, to restart it, lets say, after every 10...
An extremely useful keybinding from the Atom or Emacs mode for Agda is jumping to the next or previous hole. This prevents having to click on a hole with the...
This error happens when there is an import from a parent folder. Let's say that we have a little project: **src\main.ipkg** ```idris package "main" main = Main opts = "--codegen...
If I run a command, for example `Ctrl-Alt-C` to perform a case split and then immediately move my cursor before the command has finished executing then the result of the...
Just to confirm i actually pressed ctrl-alt-r
It would be great to have history in the repl, navigable with up and down keys.
When opening a Repl View with `ctrl-alt-enter` or switching tabs to the repl view, the input field to enter commands should automatically obtain the focus.
Given ``` idris foo: Int -> Int foo x = bar x where bar: Int -> Int ``` and inserting a new clause on bar gives ``` idris foo: Int...
As per http://docs.idris-lang.org/en/latest/reference/ide-protocol.html the REPL protocol supports the `:calls-who NAME` command to display the list of callees of NAME.