Page Index - tdidriksen/Idris-dev GitHub Wiki
104 page(s) in this GitHub Wiki:
- Home
- Getting involved
- Documentation and support
- Feature proposals
- Installation
- Getting more
- Changes that Break Backwards Compatibility
- Please reload this page
- Codegen
- Please reload this page
- Conditional imports
- Please reload this page
- Copatterns
- Please reload this page
- Copatterns Implementation
- Please reload this page
- Documentation Guidelines
- Please reload this page
- Documenting Idris Code
- Please reload this page
- Editors
- Please reload this page
- Egg #1: Error Reflection
- Please reload this page
- Egg #2: Erasure annotations
- Please reload this page
- Egg #3: Structured String Literals
- Please reload this page
- Egg #4: Agda style records and modules
- Please reload this page
- Egg #5: Unicode Support
- Please reload this page
- Egg #6: Improved Support For Literate Programming
- Please reload this page
- Egg #7: The Idris Package Manager
- Please reload this page
- Erasure by usage analysis
- Please reload this page
- External Resources
- Please reload this page
- Feature proposals
- Please reload this page
- Idris back end IRs
- Please reload this page
- Idris Developer Meetings
- Please reload this page
- Idris Developers Meeting, April May 2014
- Please reload this page
- Idris Developers Meeting, March 2015
- Please reload this page
- Idris Developers Meeting, Nov 2013
- Please reload this page
- Idris Internals Guide
- Please reload this page
- Idris on Debian
- Please reload this page
- Idris on Fedora
- Please reload this page
- Idris on FreeBSD
- Please reload this page
- Idris on OS X using Homebrew
- Please reload this page
- Idris on Ubuntu
- Please reload this page
- Idris on Windows
- Please reload this page
- Idris Project Meta Discussion April May 2014
- Please reload this page
- Installation Instructions
- Please reload this page
- Installing an Idris Development version in a sandbox
- Please reload this page
- Installing Idris on NixOS
- Please reload this page
- Javascript Notes
- Please reload this page
- Language Features
- Please reload this page
- Libraries
- Please reload this page
- Manual
- Please reload this page
- Mini Projects
- Please reload this page
- New Foreign Function Interface
- Please reload this page
- Profiling
- Please reload this page
- Static Arguments and Partial Evaluation
- Please reload this page
- Syntax Guide
- Please reload this page
- The Zen of Idris
- Please reload this page
- Tutorial: Type Providers and Foreign Functions
- Please reload this page
- Type directed search (:search)
- Please reload this page
- Uniqueness Types
- Please reload this page
- Unofficial FAQ
- Please reload this page
- Windows Binaries
- Please reload this page