Jan de Muijnck-Hughes
Jan de Muijnck-Hughes
Indices in written literature are great for providing a central reference for readers to look up where key terms are defined/used. A nice aspect of Agda is the generation of...
Jono Bacon of GitHub wrote a [blog post about Atom](http://www.jonobacon.org/2015/11/16/atom-my-new-favorite-code-editor/) and mentioned several packages he liked about it, on is [Linter](https://atom.io/packages/linter). I do not have time to look at it...
This PR adds an experimental script to generate deb packages, and updates the macOS script to use cabal 2.4 v1 style commands. I have also fixed the issue in which...
Playing around with a simple greeter protocol for two communicating processes `A` & `B`. Where `A` is the front-end client process, and `B` is a back-end process. I believe there...
When invoking `idris2 --mkdocs foobar.ipkg`, the current behaviour is for the compiler to dump the documentation in `${builddir}/docs`. The location `${builddir}/docs` is used regardless of the package name. Thus for...
The flycheck instance has been created to work with Idris1. With the rise of Idris2 we need to make sure both Idris and Idris2 are supported.
Commit https://github.com/idris-hackers/idris-mode/commit/334fef6932a979fd3c59b26814c52682afc93406 introduced a loading error if given project which contains a source directory. The error was along the lines of: ``` Error: Source file "Main.idr" is not in the...
Idris-mode is a front end for integrating with the Idris family of compilers (that is Idris 1 & Idris2). Idris mode's CI suite tests against various emacs/idris versions. Irregularly, we...