Jan de Muijnck-Hughes

Just to note that there was/is an https://github.com/idris-hackers where other libraries were developed, along with the current idris-mode. I did mention this on the slack but I have given up...

@ohad I missed this completely! thanks for this, it will help me in my current project.

I think this has been resolved with #609, however, I have experienced issues from the default configuration. 1. idris2 executable cannot be found; 3. both idris2 and idris flycheckers are...

My issues seem to resolve around finding the Idris2 executable. It might be that some other customisations I have done when configuring idris-mode interferes with the default operation.

Idris1's [citation file was very straightforward](https://github.com/idris-lang/Idris-dev/blob/master/CITATION.md) and pointed to the journal article. Looking at the [documentation for citation files](https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-citation-files), however, we can add a preferred citation that then points to...

Ah good catch! I thought I had updated everything that used the docs.

I will leave this open until Tuesday, when I will merge it.

Of interest, if you are concerned with the speed of a travis build, then there are alternate ways to test idris. For example, [I use a nix based configuration.](https://github.com/jfdm/idris-containers/blob/master/.travis.yml)

@ostera You will be interested in: * http://idris.readthedocs.io/en/latest/reference/documenting.html * https://github.com/idris-lang/Idris-dev/wiki/Unofficial-FAQ#is-there-some-documentation-for-the-standard-lib-list-of-functions When installing idris packages you can also innvoke: `idris --installdoc ` that will install the documentation for he package (html)...

Hi @KimStebel it looks like the library works as intended, and that the test is failing due to whitespace differences in results. In short: Feel free to use lightyear, its...