gitextract_dxhrkfoy/

├── .github/
│   └── workflows/
│       ├── idris1.yml
│       └── idris2.yml
├── .gitignore
├── .travis.yml
├── .travis_install.sh
├── CHANGES.markdown
├── CONTRIBUTING.md
├── CONTRIBUTORS
├── COPYING
├── Makefile
├── docs/
│   └── documentation.tex
├── flycheck-idris.el
├── idris-commands.el
├── idris-common-utils.el
├── idris-compat.el
├── idris-core.el
├── idris-events.el
├── idris-highlight-input.el
├── idris-hole-list.el
├── idris-info.el
├── idris-ipkg-mode.el
├── idris-keys.el
├── idris-log.el
├── idris-mode.el
├── idris-navigate.el
├── idris-prover.el
├── idris-repl.el
├── idris-settings.el
├── idris-simple-indent.el
├── idris-syntax.el
├── idris-tree-info.el
├── idris-warnings-tree.el
├── idris-warnings.el
├── idris-xref.el
├── inferior-idris.el
├── readme.markdown
└── test/
    ├── idris-commands-test.el
    ├── idris-info-test.el
    ├── idris-navigate-test.el
    ├── idris-repl-test.el
    ├── idris-test-utils.el
    ├── idris-tests.el
    ├── idris-xref-test.el
    └── test-data/
        ├── AddClause.idr
        ├── AddMissing.idr
        ├── CaseSplit.idr
        ├── Empty.idr
        ├── Flycheck.idr
        ├── GenerateDef.idr
        ├── Literate.lidr
        ├── MakeLemma.idr
        ├── MakeWithBlock.idr
        ├── MetavarTest.idr
        ├── ProofSearch.idr
        ├── Refine.idr
        ├── TypeAtPoint.idr
        ├── TypeError.idr
        ├── cmdline/
        │   ├── commandlinetest.ipkg
        │   └── src/
        │       └── Command/
        │           └── Line/
        │               └── Test.idr
        └── package-test/
            ├── Packaging.idr
            └── test.ipkg