34 Home

André Videla edited this page 2023-09-02 03:26:39 +09:00

Welcome to the Idris 2 wiki!

If you want to build something with Idris, you can look at the learning and development resources or browse some of the available libraries.

If you want to work on Idris itself, there's a guide for getting started, and another for what contributions are needed.

We also have a discord forum if you want to discuss ideas, if you get stuck, or for anything else.

• Wiki Home Page
• Using Idris
  • Resources
  • Editor Support
  • Third-party Libraries
  • External Backends
• Working on Idris
  • Getting Started
  • What Contributions are Needed
  • Map of the Source Code
  • FAQ
• Proposed changes
  • Contrib Organisation
  • The State of Idris Documentation
  • Compiler API
  • Networking Primitives
  • Types Metaprogramming Manifesto
  • TypeScript and ECMAScript interfacing
  • Modularize Machine Representation of Types