加入 Idris 学习路径
探索 Exercism 上的 Idris 练习
随着不断进步，你会解锁更多练习。它们既能让你充分练习，又充满乐趣！
👋想学编程？看看我们全新的初学者专属平台：Jiki！
- 简体中文Simplified Chinese
- EnglishEnglish
- DeutschGerman
- español de EspañaEuropean Spanish
- español latinoamericanoLatin American Spanish
- françaisFrench
- italianoItalian
- magyarHungarian
- português do BrasilBrazilian Portuguese
- português europeuEuropean Portuguese
- বাংলাBengali
- ΕλληνικάGreek
- हिन्दीHindi
- 日本語Japanese
- 한국어Korean
- 繁體中文Traditional Chinese
- українськаUkrainian
即将推出
- catalàCatalan即将
- IndonesiaIndonesian即将
- KiswahiliSwahili即将
- NederlandsDutch即将
- polskiPolish即将
- românăRomanian即将
- suomiFinnish即将
- svenskaSwedish即将
- Tiếng ViệtVietnamese即将
- TürkçeTurkish即将
- العربيةArabic即将
- עבריתHebrew即将
- فارسیPersian即将
- русскийRussian即将
- српскиSerbian即将
- ไทยThai即将
- اردوUrdu即将