Skip to main content
Ana Sayfa
Metinden IPA'ya
Konuşmadan IPA'ya
IPA'dan kelime bul
IPA Okuyucu
Beta
IPA çizelgeleri
İngiliz İngilizcesi
Amerikan İngilizcesi
Mandarin Çincesi
IPA çizelgeleri
A–Z
Blog
toIPA
Ana Sayfa
Metinden IPA'ya
Konuşmadan IPA'ya
IPA'dan kelime bul
IPA Okuyucu
Beta
IPA çizelgeleri
Tamamı
İngiliz İngilizcesi
Amerikan İngilizcesi
Mandarin Çincesi
IPA çizelgeleri
A–Z
Blog
🇹🇷 Türkçe
🇺🇸 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
🇧🇾 Беларуская
Ana Sayfa
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Kategoriler:
proof assistant
programming language