idris2-elab
CommunityStreamline Idris2 macro programming with reflection tools.
Authorshogochiai
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill simplifies the process of understanding and utilizing Idris2's elaborator reflection features, reducing the complexity of meta-programming and elaboration tasks.
Core Features & Use Cases
- Enhanced Meta-Programming: Enables reflection, code generation, and automation within Idris2 projects.
- Educational Resources: Offers detailed explanations and practical examples for deepening understanding of Idris2's elaboration system.
- Use Case: Automate the derivation of typeclass instances like Eq and Show for custom data types, saving manual effort and ensuring correctness.
Quick Start
Use the Idris2 elaboration scripts to generate Eq and Show instances for your custom types automatically.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: idris2-elab Download link: https://github.com/shogochiai/vibecoding-demo/archive/main.zip#idris2-elab Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.