ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #2665 from david-christiansen/pruviloj

Browse Source 
Add pronunciation guide for "pruviloj"
This commit is contained in:
David Christiansen 2015-09-25 17:28:09 +02:00
commit 2f7d8c2669
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
libs/pruviloj/README.txt
View File

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