• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for idris-1.0 candidate source tarball

idris-1.0/docs/

• .gitignore
• LICENSE
• Makefile
• README.md
• conf.py
• index.rst
• make.bat
• effects/
  • conclusions.rst
  • depeff.rst
  • hangman.rst
  • impleff.rst
  • index.rst
  • introduction.rst
  • simpleeff.rst
  • state.rst
  • summary.rst
• faq/
  • faq.rst
  • index.rst
• guides/
  • index.rst
  • theorem-prover.rst
  • type-providers-ffi.rst
• image/
  • effects-tree.png
  • login.png
  • netstate.png
• listing/
  • idris-prompt-helloworld.txt
  • idris-prompt-interp.txt
  • idris-prompt-start.txt
• proofs/
  • index.rst
  • inductive.rst
  • interactive.rst
  • patterns.rst
  • pluscomm.rst
• 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/
  • composing.rst
  • examples.rst
  • index.rst
  • introduction.rst
  • machines.rst
  • state.rst
• tutorial/
  • conclusions.rst
  • index.rst
  • interactive.rst
  • interfaces.rst
  • interp.rst
  • introduction.rst
  • miscellany.rst
  • modules.rst
  • packages.rst
  • provisional.rst
  • starting.rst
  • syntax.rst
  • theorems.rst
  • typesfuns.rst
  • views.rst