Page Index - idris-lang/Idris2 GitHub Wiki

19 page(s) in this GitHub Wiki:

• Home
• [Community] Idris Developer Meeting Dec 2022
• [Delete] Idris Community talks
• [Draft feature] Compiler API
• [Draft feature] Types meta programming manifesto
• [Draft feature] TypeScript and ECMAScript Interfacing
• [Feature request] Modularize machine representation of types
• [Language] Contrib Organisation
• [Language] Networking primitives
• Editor Support
• External backends
• FAQ: Working on Idris
• Getting Started with Compiler Development
• Idris Developer Meeting, August 2023
• Map of the Source Code
• Resources
• The State of Idris documentation
• Third party Libraries
• What Contributions are Needed