Skip to main content
Início
Texto para IPA
Fala para IPA
Pesquisar palavra por IPA
Leitor de IPA
Beta
Tabelas IPA
Inglês britânico
Inglês americano
Chinês mandarim
Tabelas IPA
A–Z
Blog
toIPA
Início
Texto para IPA
Fala para IPA
Pesquisar palavra por IPA
Leitor de IPA
Beta
Tabelas IPA
Completo
Inglês britânico
Inglês americano
Chinês mandarim
Tabelas IPA
A–Z
Blog
🇵🇹 Português
🇺🇸 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
🇧🇾 Беларуская
Início
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Categorias:
proof assistant
programming language