@@ -39,6 +39,7 @@ A: Please read the Idris documentation on elaborator reflection.
3939
4040
4141Q: Where does the name come from?
42−A: "Pruviloj" is Esperanto for "proof tools". Perhaps confusingly
43− for Esperantists, the Pruviloj library also contains utilities
44− for code generation.
42+A: "Pruviloj" is Esperanto for "proof tools". The stress goes on
43+ the penultimate syllable, and in IPA the pronunciation is written
44+ [pruˈvi.loi̯]. Perhaps confusingly for Esperantists, the Pruviloj
45+ library also contains utilities for code generation.