Files
rspade_system/node_modules/linguist-languages/data/Idris.js
root bd5809fdbd Reorganize RSpade directory structure for clarity
Improve Jqhtml_Integration.js documentation with hydration system explanation
Add jqhtml-laravel integration packages for traditional Laravel projects

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
2025-11-24 09:41:48 +00:00

10 lines
179 B
JavaScript

module.exports = {
name: 'Idris',
type: 'programming',
aceMode: 'text',
extensions: ['.idr', '.lidr'],
languageId: 165,
tmScope: 'source.idris',
color: '#b30000',
}