Skip to main content
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Британська англійська
Американська англійська
Мандарин китайський
Діаграми IPA
A–Z
Блог
toIPA
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Повний
Британська англійська
Американська англійська
Мандарин китайський
Діаграми IPA
A–Z
Блог
🇺🇦 Українська
🇺🇸 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
🇧🇾 Беларуская
додому
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Категорії:
proof assistant
programming language