atom-language-idris
atom-language-idris copied to clipboard
idris-hackers
A Idris Mode for Atom.io
Given the following method: ``` idris times: (n: Nat) -> {auto prf: n >= 1 = True} -> Vect m Note -> Vect (m*n) Note times n xs = concat...
Warn user if the idris path points to a directory. Maybe with a warning that says: "The path should point to the idris executable and not the folder containing it"...
As reported by @edwinb in https://youtu.be/X36ye-1x_HQ?t=32m33s The error messages look like this currently:  They can't be styled and they don't have any syntax highlighting
When I do a make-case, the next clause of the function definition can end up on the same line as the new case block. For example: ```idris step (Pair x...
Bumps [es5-ext](https://github.com/medikoo/es5-ext) from 0.10.52 to 0.10.63. Release notes Sourced from es5-ext's releases. 0.10.63 (2024-02-23) Bug Fixes Do not rely on problematic regex (3551cdd), addresses #201 Support ES2015+ function definitions in...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
The use case for this PR is that I have Idris installed through Pack in WSL. (I've considered installing Idris in Windows, but Pack doesn't support Windows.) Since Idris in...
On switching between two project folders, the Idris process is killed. Idris prints something like "The file is closed" to stdout before terminating. At least on Windows, we will capture...