@@ -39,6 +39,7 @@ A: Please read the Idris documentation on elaborator reflection.
41Q: Where does the name come from?
41Q: Where does the name come from?
42−A: "Pruviloj" is Esperanto for "proof tools". Perhaps confusingly
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
43− for Esperantists, the Pruviloj library also contains utilities
45+ library also contains utilities for code generation.