Skip to main content
Dom
Wyślij SMS na adres IPA
Mowa do IPA
IPA na słowo
Czytnik IPA
Beta
Wykresy IPA
Brytyjski angielski
Amerykański angielski
chiński mandaryński
Wykresy IPA
A–Z
Bloga
toIPA
Dom
Wyślij SMS na adres IPA
Mowa do IPA
IPA na słowo
Czytnik IPA
Beta
Wykresy IPA
Pełny
Brytyjski angielski
Amerykański angielski
chiński mandaryński
Wykresy IPA
A–Z
Bloga
🇵🇱 Polski
🇺🇸 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
🇧🇾 Беларуская
Dom
Idris
Idris
purely functional programming language
en-US
/ˈaɪdɹɪs/
Kategorie:
proof assistant
programming language