├── .gitignore ├── .travis.yml ├── .travis_install.sh ├── CHANGES.markdown ├── COPYING ├── Makefile ├── README.markdown ├── docs └── documentation.tex ├── idris2-commands.el ├── idris2-common-utils.el ├── idris2-compat.el ├── idris2-core.el ├── idris2-events.el ├── idris2-highlight-input.el ├── idris2-hole-list.el ├── idris2-info.el ├── idris2-ipkg-mode.el ├── idris2-keys.el ├── idris2-log.el ├── idris2-mode.el ├── idris2-prover.el ├── idris2-repl.el ├── idris2-settings.el ├── idris2-simple-indent.el ├── idris2-syntax.el ├── idris2-tests.el ├── idris2-tree-info.el ├── idris2-warnings-tree.el ├── idris2-warnings.el ├── inferior-idris2.el ├── logo-small-dark-contrast.png ├── logo-small.png └── test-data ├── MetavarTest.idr ├── ProofSearch.idr ├── TypeError.idr ├── cmdline ├── commandlinetest.ipkg └── src │ └── Command │ └── Line │ └── Test.idr └── package-test ├── Packaging.idr └── test.ipkg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/.travis.yml -------------------------------------------------------------------------------- /.travis_install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/.travis_install.sh -------------------------------------------------------------------------------- /CHANGES.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/CHANGES.markdown -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/COPYING -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/Makefile -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/README.markdown -------------------------------------------------------------------------------- /docs/documentation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/docs/documentation.tex -------------------------------------------------------------------------------- /idris2-commands.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-commands.el -------------------------------------------------------------------------------- /idris2-common-utils.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-common-utils.el -------------------------------------------------------------------------------- /idris2-compat.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-compat.el -------------------------------------------------------------------------------- /idris2-core.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-core.el -------------------------------------------------------------------------------- /idris2-events.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-events.el -------------------------------------------------------------------------------- /idris2-highlight-input.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-highlight-input.el -------------------------------------------------------------------------------- /idris2-hole-list.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-hole-list.el -------------------------------------------------------------------------------- /idris2-info.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-info.el -------------------------------------------------------------------------------- /idris2-ipkg-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-ipkg-mode.el -------------------------------------------------------------------------------- /idris2-keys.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-keys.el -------------------------------------------------------------------------------- /idris2-log.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-log.el -------------------------------------------------------------------------------- /idris2-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-mode.el -------------------------------------------------------------------------------- /idris2-prover.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-prover.el -------------------------------------------------------------------------------- /idris2-repl.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-repl.el -------------------------------------------------------------------------------- /idris2-settings.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-settings.el -------------------------------------------------------------------------------- /idris2-simple-indent.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-simple-indent.el -------------------------------------------------------------------------------- /idris2-syntax.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-syntax.el -------------------------------------------------------------------------------- /idris2-tests.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-tests.el -------------------------------------------------------------------------------- /idris2-tree-info.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-tree-info.el -------------------------------------------------------------------------------- /idris2-warnings-tree.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-warnings-tree.el -------------------------------------------------------------------------------- /idris2-warnings.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/idris2-warnings.el -------------------------------------------------------------------------------- /inferior-idris2.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/inferior-idris2.el -------------------------------------------------------------------------------- /logo-small-dark-contrast.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/logo-small-dark-contrast.png -------------------------------------------------------------------------------- /logo-small.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/logo-small.png -------------------------------------------------------------------------------- /test-data/MetavarTest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/test-data/MetavarTest.idr -------------------------------------------------------------------------------- /test-data/ProofSearch.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/test-data/ProofSearch.idr -------------------------------------------------------------------------------- /test-data/TypeError.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/test-data/TypeError.idr -------------------------------------------------------------------------------- /test-data/cmdline/commandlinetest.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-community/idris2-mode/HEAD/test-data/cmdline/commandlinetest.ipkg -------------------------------------------------------------------------------- /test-data/cmdline/src/Command/Line/Test.idr: -------------------------------------------------------------------------------- 1 | module Command.Line.Test 2 | -------------------------------------------------------------------------------- /test-data/package-test/Packaging.idr: -------------------------------------------------------------------------------- 1 | module Packaging 2 | 3 | -------------------------------------------------------------------------------- /test-data/package-test/test.ipkg: -------------------------------------------------------------------------------- 1 | package test 2 | 3 | pkgs = recursion_schemes, idris-free 4 | --------------------------------------------------------------------------------