Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
Move test files to test/ directory
January 6, 2023 18:23
docs
Update documentation strings to follow
December 18, 2022 21:19
test
Fix unresponsive idris-repl when loading file with warnings
May 7, 2023 16:40
.gitignore
[ upstream ] Fix documentation and bytecode generation.
November 3, 2021 12:51
.travis.yml
Build in separate step; add images back to build
April 27, 2019 08:39
.travis_install.sh
Test stackage idris
April 27, 2019 08:39
CHANGES.markdown
Update changelog with unreleased user facing changes in master branch
February 10, 2023 19:08
CONTRIBUTING.md
Move Tests section from "readme" to "contributing" guide file.
February 10, 2023 19:08
CONTRIBUTORS
Update contributors list
February 10, 2023 18:29
COPYING
full text of the gplv3, as per issue #4
March 31, 2013 17:59
Makefile
[ flycheck ] removed tests that did not work properly.
January 17, 2023 14:26
flycheck-idris.el
[ flycheck ] Handle Idris2 reported "Uncought error"
January 17, 2023 18:22
idris-commands.el
Allow per buffer and project controlled semantic source highlighting
January 22, 2023 13:15
idris-common-utils.el
Fix byte-compile warning
May 7, 2023 16:49
idris-compat.el
Add idris-file-name-concat function as backward compatible
January 1, 2023 21:05
idris-core.el
Use prop-menu.el to show popups
June 28, 2015 17:18
idris-events.el
Update documentation strings to follow
December 18, 2022 21:19
idris-highlight-input.el
Fix byte-compile warning
May 7, 2023 16:49
idris-hole-list.el
Update documentation strings to follow
December 18, 2022 21:19
idris-info.el
Make idris-info-mode derived from help-mode and
February 2, 2023 00:11
idris-ipkg-mode.el
Update documentation strings to follow
December 18, 2022 21:19
idris-keys.el
Apply minor documentation improvements
January 22, 2023 15:34
idris-log.el
Improve documentation for idris-log.el
January 22, 2023 15:35
idris-mode.el
[ flymake ] Improvment to flycheck checkers.
January 17, 2023 14:26
idris-navigate.el
Replace obsolete interactive-p function in idris-navigate.el and
January 22, 2023 15:35
idris-prover.el
Update documentation strings to follow
December 18, 2022 21:19
idris-repl.el
Merge pull request #621 from keram/issue-620
August 2, 2023 01:54
idris-settings.el
Fix byte-compile warning
May 7, 2023 16:49
idris-simple-indent.el
Apply minor documentation improvements
January 22, 2023 15:34
idris-syntax.el
Update documentation strings to follow
December 18, 2022 21:19
idris-tree-info.el
Update documentation strings to follow
December 18, 2022 21:19
idris-warnings-tree.el
Apply minor documentation improvements
January 22, 2023 15:34
idris-warnings.el
Preserve point position after adding warning overlay
December 20, 2022 19:27
idris-xref.el
Fix small bug in idris-xref jump to column and
January 10, 2023 21:16
inferior-idris.el
Improve documentation in inferior-idris.el
January 22, 2023 14:45
logo-small.png
Show Idris logo in REPL
February 14, 2015 00:07
readme.markdown
Update readme with examples for xref, flycheck and hs-minor-mode
February 10, 2023 19:08