Directory listing for idris-1.3.0 candidate source tarball
idris-1.3.0/
- .gitattributes
- .gitignore
- .hlint.yaml
- .stylish-haskell.yaml
- .travis.yml
- CHANGELOG.md
- CITATION.md
- CONTRIBUTING.md
- CONTRIBUTORS
- INSTALL.md
- LICENSE
- Makefile
- README.md
- RELEASE-CHECKS.md
- Setup.hs
- appveyor.yml
- config.mk
- custom.mk-alldeps
- idris-tutorial.pdf
- idris.cabal
- mkpkg.sh
- stack-shell.nix
- stack.yaml
- stylize.sh
- win-release.sh
- .github/
- benchmarks/
- codegen/
- docs/
- .gitignore
- LICENSE
- Makefile
- README.md
- conf.py
- index.rst
- make.bat
- effects/
- faq/
- guides/
- image/
- listing/
- proofs/
- reference/
- codegen.rst
- compilation.rst
- documenting.rst
- elaborator-reflection.rst
- erasure.rst
- ffi.rst
- ide-protocol.rst
- index.rst
- internals.rst
- language-extensions.rst
- language-features.rst
- misc.rst
- packages.rst
- partial-evaluation.rst
- repl.rst
- semantic-highlighting.rst
- syntax-guide.rst
- tactics.rst
- type-directed-search.rst
- uniqueness-types.rst
- st/
- tutorial/
- icons/
- idrisdoc/
- jsrts/
- libs/
- Makefile
- base/
- contrib/
- CFFI.idr
- Makefile
- contrib.ipkg
- CFFI/
- Control/
- Data/
- Decidable/
- Interfaces/
- Language/
- Network/
- System/
- Test/
- Text/
- effects/
- prelude/
- pruviloj/
- logos/
- main/
- man/
- rts/
- Makefile
- getline.c
- getline.h
- idris_bitstring.c
- idris_bitstring.h
- idris_buffer.c
- idris_buffer.h
- idris_gc.c
- idris_gc.h
- idris_gmp.c
- idris_gmp.h
- idris_heap.c
- idris_heap.h
- idris_main.c
- idris_net.c
- idris_net.h
- idris_opts.c
- idris_opts.h
- idris_rts.c
- idris_rts.h
- idris_stats.c
- idris_stats.h
- idris_stdfgn.c
- idris_stdfgn.h
- idris_utf8.c
- idris_utf8.h
- libtest.c
- mini-gmp.c
- mini-gmp.h
- arduino/
- seL4/
- windows/
- samples/
- scripts/
- src/
- .ghci
- BuildFlags_idris.hs
- Target_idris.hs
- Tools_idris.hs
- Version_idris.hs
- IRTS/
- Idris/
- ASTUtils.hs
- AbsSyntax.hs
- AbsSyntaxTree.hs
- Apropos.hs
- CaseSplit.hs
- Chaser.hs
- CmdOptions.hs
- Colours.hs
- Completion.hs
- Coverage.hs
- DSL.hs
- DataOpts.hs
- DeepSeq.hs
- Delaborate.hs
- Directives.hs
- Docs.hs
- Docstrings.hs
- ElabDecls.hs
- Erasure.hs
- ErrReverse.hs
- Error.hs
- Help.hs
- IBC.hs
- IdeMode.hs
- IdrisDoc.hs
- Imports.hs
- Info.hs
- Inliner.hs
- Interactive.hs
- Main.hs
- ModeCommon.hs
- Options.hs
- Output.hs
- Package.hs
- Parser.hs
- PartialEval.hs
- Primitives.hs
- ProofSearch.hs
- Prover.hs
- Providers.hs
- REPL.hs
- Reflection.hs
- Termination.hs
- Transforms.hs
- TypeSearch.hs
- Unlit.hs
- WhoCalls.hs
- Core/
- Elab/
- Info/
- Package/
- Parser/
- REPL/
- Util/
- test/
- README.md
- TestData.hs
- TestRun.hs
- mktest.pl
- base001/
- basic001/
- basic002/
- basic003/
- basic004/
- basic005/
- basic006/
- basic007/
- basic008/
- basic009/
- basic010/
- basic011/
- basic012/
- basic013/
- basic014/
- basic015/
- basic016/
- basic017/
- basic018/
- basic019/
- basic020/
- basic021/
- basic022/
- basic023/
- basic024/
- basic025/
- basic026/
- bignum001/
- bignum002/
- bignum003/
- bounded001/
- buffer001/
- buffer002/
- contrib001/
- corecords001/
- corecords002/
- delab001/
- directives001/
- directives002/
- directives003/
- disambig002/
- docs001/
- docs002/
- docs003/
- docs004/
- docs005/
- docs006/
- dsl001/
- dsl002/
- dsl003/
- dsl004/
- effects001/
- effects002/
- effects003/
- effects004/
- effects005/
- error001/
- error002/
- error003/
- error004/
- error005/
- error006/
- error007/
- error008/
- error009/
- ffi001/
- ffi002/
- ffi003/
- ffi004/
- ffi005/
- ffi006/
- ffi007/
- ffi008/
- ffi009/
- ffi010/
- ffi011/
- folding001/
- idrisdoc001/
- idrisdoc002/
- idrisdoc003/
- idrisdoc004/
- idrisdoc005/
- idrisdoc006/
- idrisdoc007/
- idrisdoc008/
- idrisdoc009/
- interactive001/
- interactive002/
- interactive003/
- interactive004/
- interactive005/
- interactive006/
- interactive007/
- interactive008/
- interactive009/
- interactive010/
- interactive011/
- interactive012/
- interactive013/
- interactive014/
- interactive015/
- interactive016/
- interactive017/
- interactive018/
- interfaces001/
- interfaces002/
- interfaces003/
- interfaces004/
- interfaces005/
- interfaces006/
- interfaces007/
- interfaces008/
- interfaces009/
- interpret001/
- interpret002/
- interpret003/
- io001/
- io002/
- io003/
- layout001/
- literate001/
- meta001/
- meta002/
- meta003/
- meta004/
- pkg001/
- pkg002/
- pkg003/
- pkg004/
- pkg005/
- pkg006/
- pkg007/
- pkg008/
- pkg009/
- pkg010/
- prelude001/
- primitives001/
- primitives002/
- primitives003/
- primitives004-disabled/
- primitives005/
- primitives006/
- proof001/
- proof002/
- proof003/
- proof004/
- proof005/
- proof006/
- proof007/
- proof008/
- proof009/
- proof010/
- proof011/
- proofsearch001/
- proofsearch002/
- proofsearch003/
- pruviloj001/
- quasiquote001/
- quasiquote002/
- quasiquote003/
- quasiquote004/
- quasiquote005/
- quasiquote006/
- records001/
- records002/
- records003/
- records004/
- records005/
- reg001/
- reg002/
- reg004/
- reg005/
- reg007/
- reg013/
- reg016/
- reg017/
- reg020/
- reg024/
- reg025/
- reg027/
- reg029/
- reg031/
- reg032/
- reg039/
- reg040/
- reg041/
- reg042/
- reg045/
- reg048/
- reg051-disabled/
- reg052/
- reg067/
- reg075/
- reg076/
- reg077/
- regression001/
- coverage001.idr
- eff001.idr
- expected
- reg001.idr
- reg002.idr
- reg003.idr
- reg004.lidr
- reg005.idr
- reg006.idr
- reg036.idr
- reg037.idr
- reg038.idr
- reg046.idr
- reg047.idr
- reg047a.idr
- reg053.idr
- reg057.idr
- reg058.idr
- reg058a.idr
- reg059.idr
- reg060.idr
- reg061.idr
- reg062.idr
- reg063.idr
- reg064.idr
- reg065.idr
- reg066.idr
- reg071.idr
- reg073.lidr
- reg074.idr
- run
- regression002/
- A.lidr
- Canonicity.idr
- DoubleEquality.idr
- Mod.idr
- badbangop.idr
- baddoublebang.idr
- expected
- reg001.idr
- reg002.idr
- reg003.idr
- reg003a.idr
- reg006.idr
- reg007.lidr
- reg010.idr
- reg018a.idr
- reg018b.idr
- reg018c.idr
- reg018d.idr
- reg023.idr
- reg028.idr
- reg028a.idr
- reg034.idr
- reg035.idr
- reg035a.lidr
- reg035b.idr
- reg044.idr
- reg049.idr
- reg054.idr
- reg055.idr
- reg055a.idr
- reg056.idr
- reg068.idr
- reg069.idr
- reg070.idr
- reg076.idr
- reg077.idr
- run
- working.idr
- regression003/
- scripts/
- sourceLocation001/
- st001/
- st002/
- st003/
- st004/
- st005/
- st006/
- st007/
- sugar001/
- sugar002/
- sugar003/
- sugar004/
- sugar005/
- syntax001/
- syntax002/
- tactics001/
- totality001/
- totality002/
- totality003/
- totality004/
- totality005/
- totality006/
- totality007/
- totality008/
- totality009/
- totality010/
- totality011/
- totality012/
- totality013/
- totality014/
- totality015/
- totality016/
- totality017/
- totality018/
- totality019/
- totality020/
- totality021/
- totality022/
- totality023/
- totality024/
- totality025/
- totality026/
- tutorial001/
- tutorial002/
- tutorial003/
- tutorial004/
- tutorial005/
- tutorial006/
- tutorial007/
- unique001/
- unique004/
- universes001/
- universes002/
- views001/
- views002/
- views003/
