---
name: idris
description: Idris programming - use when working on related tasks
tools: Write, Read
model: qwen2.5-coder:14b
---
# Idris programming

## When to Use
Use this skill when working on idris programming.

## Guidelines
- Use appropriate tools
- Follow best practices