idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 04:13:09 +03:00
Code Issues Projects Releases Wiki Activity
Page: _Sidebar
Pages
Editor Support External backends FAQ: Working on Idris Getting Started with Compiler Development Home Idris Developer Meeting, August 2023 Map of the Source Code Resources The State of Idris documentation Third party Libraries What Contributions are Needed [Community] Idris Developer Meeting Dec 2022 [Delete] Idris Community talks [Draft feature] Compiler API [Draft feature] TypeScript and ECMAScript Interfacing [Draft feature] Types meta programming manifesto [Feature request] Modularize machine representation of types [Language] Contrib Organisation [Language] Networking primitives
29 _Sidebar
André Videla edited this page 2023-10-09 15:29:22 +01:00