Dylan Braithwaite developed an Idris 2 language extension for the zed-industries/extensions repository, focusing on integrating Tree-sitter parsing and Language Server Protocol support to enable syntax highlighting, navigation, and editing within the IDE. He removed the legacy Idris 2 plugin to streamline the extension ecosystem and prevent conflicts, ensuring a clean integration. The work involved extension development using Git and TOML, with attention to maintainable architecture and compatibility with existing IDE workflows. Although completed within a single month and limited to one feature, the project demonstrated depth by laying a solid foundation for future Idris 2 tooling and smoother developer experiences.