Skip to main content
Beranda
Teks ke IPA
Ucapan ke IPA
Cari kata dari IPA
Pembaca IPA
Beta
Bagan IPA
Bahasa Inggris Britania
Bahasa Inggris Amerika
Bahasa Mandarin
Bagan IPA
A–Z
Blog
toIPA
Beranda
Teks ke IPA
Ucapan ke IPA
Cari kata dari IPA
Pembaca IPA
Beta
Bagan IPA
Lengkap
Bahasa Inggris Britania
Bahasa Inggris Amerika
Bahasa Mandarin
Bagan IPA
A–Z
Blog
🇮🇩 Bahasa Indonesia
🇺🇸 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
🇧🇾 Беларуская
Beranda
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Kategori:
proof assistant
programming language