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