Pages

Editor Support	Last updated 2022-11-01 00:11:20 +03:00
External backends	Last updated 2024-04-18 00:51:09 +03:00
FAQ: Working on Idris	Last updated 2022-09-22 18:04:17 +03:00
Getting Started with Compiler Development	Last updated 2022-09-22 18:16:09 +03:00
Home	Last updated 2023-09-01 21:26:39 +03:00
Idris Developer Meeting, August 2023	Last updated 2023-08-30 05:26:04 +03:00
Map of the Source Code	Last updated 2023-04-25 11:35:32 +03:00
Resources	Last updated 2023-11-11 04:58:39 +03:00
The State of Idris documentation	Last updated 2022-09-22 18:23:25 +03:00
Third party Libraries	Last updated 2024-11-18 21:04:15 +03:00
What Contributions are Needed	Last updated 2022-09-22 18:18:20 +03:00
[Community] Idris Developer Meeting Dec 2022	Last updated 2022-12-05 03:05:21 +03:00
[Delete] Idris Community talks	Last updated 2022-09-22 18:36:48 +03:00
[Draft feature] Compiler API	Last updated 2022-09-22 18:27:39 +03:00
[Draft feature] TypeScript and ECMAScript Interfacing	Last updated 2022-09-22 18:27:51 +03:00
[Draft feature] Types meta programming manifesto	Last updated 2022-09-22 18:27:45 +03:00
[Feature request] Modularize machine representation of types	Last updated 2022-09-22 18:28:01 +03:00
[Language] Contrib Organisation	Last updated 2024-03-19 16:02:58 +03:00
[Language] Networking primitives	Last updated 2022-09-22 18:27:22 +03:00
_Sidebar	Last updated 2023-10-09 17:29:22 +03:00