Skip to main content
Accueil
Texte en IPA
Parole en IPA
IPA vers mot
Lecteur API
Beta
Tableaux IPA
Anglais britannique
Anglais américain
Chinois mandarin
Tableaux IPA
A–Z
Blog
toIPA
Accueil
Texte en IPA
Parole en IPA
IPA vers mot
Lecteur API
Beta
Tableaux IPA
Complet
Anglais britannique
Anglais américain
Chinois mandarin
Tableaux IPA
A–Z
Blog
🇫🇷 Français
🇺🇸 English
🇨🇳 中文
🇯🇵 日本語
🇩🇪 Deutsch
🇫🇷 Français
🇪🇸 Español
🇮🇳 हिन्दी
🇸🇦 العربية
🇧🇩 বাংলা
🇵🇹 Português
🇮🇩 Bahasa Indonesia
🇵🇰 اردو
🇷🇺 Русский
🇻🇳 Tiếng Việt
🇹🇷 Türkçe
🇰🇷 한국어
🇮🇹 Italiano
🇳🇴 Norsk bokmål
🇳🇱 Nederlands
🇵🇱 Polski
🇸🇪 Svenska
🇬🇷 Ελληνικά
🇮🇱 עברית
🇮🇷 فارسی
🇹🇭 ไทย
🇺🇦 Українська
🇨🇿 Čeština
🇧🇾 Беларуская
Accueil
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Catégories :
proof assistant
programming language