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