加入 Idris 學習軌道
探索 Exercism 上的 Idris 練習
隨著你持續進步，會解鎖更多練習。它們既是很棒的練習，也充滿樂趣喔！
👋想學寫程式嗎？來看看我們全新的初學者專屬平台 -Jiki！
- 繁體中文Traditional 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
- 简体中文Simplified 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即將