🎉 Initial Release
Production-ready boilerplate for type-driven AI code generation with Idris2.
✨ Features
- ✅ Idris2 → Python conversion with runtime checks
- ✅ Automatic test generation from type signatures
- ✅ Dependent types → comprehensive test suites
- ✅ Claude Code integration with slash commands
- ✅ Two complete examples with 45+ tests (100% passing)
🚀 Quick Start
```bash
git clone https://github.com/twoLoop-40/idris2-python-boilerplate.git
cd idris2-python-boilerplate
bash .claude/setup_project.sh
Try the examples
cd examples/01_basic
idris2 -o func func.idr && ./build/exec/func
python func.py
pytest test_func.py -v
```
📦 What's Included
- Type-driven development workflow - Precise specifications with Idris2
- 2 working examples - From basic to advanced dependent types
- 45+ auto-generated tests - All passing ✅
- Complete documentation - README, examples, contributing guide
- MIT licensed - Use in any project
🎯 Benefits
Eliminates infinite debugging loops by:
- Writing precise specifications with dependent types
- Getting compiler verification before code generation
- Auto-generating comprehensive test suites
- Catching bugs at type-check time instead of runtime
📚 Learn More
Made with ❤️ for type-driven development