toIPA
Home
Blog
Category
Euclid
imperative programming language for writing verifiable programs
Pronunciation
/ˈjuːklɪd/
/ˈjuklɪd/
Categories
procedural programming language
programming language