Skills
.Work. You
Rest

idris2-dev

Community

Set up Idris2 projects with safety and clarity.

Software Engineering#development#memory management#guidelines#compilation#target detection#idris2
Authorshogochiai
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill provides comprehensive guidelines and best practices for Idris2 development, helping users avoid common pitfalls such as memory explosion and type ambiguity.

Core Features & Use Cases

  • Development Guidance: Offers detailed instructions on writing and compiling Idris2 code targeting multiple backends including EVM, IC WASM, and JavaScript.
  • Memory Management: Explains patterns leading to Out-Of-Memory errors and how to mitigate them for reliable Idris2 compilation.
  • Quick Start: Read the Idris2 development guide to understand project structure, compilation targets, and best practices.

Quick Start

Read the Idris2 development guidelines to learn about target detection and OOM avoidance techniques.

Dependency Matrix

Required Modules

None required

Components

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-dev
Download link: https://github.com/shogochiai/vibecoding-demo/archive/main.zip#idris2-dev

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.