Исправления

docs/phi-001.md

@@ -113,7 +113,7 @@
 
 ## 💡 Примеры на отсылках
 
-Одно из принятых правил в для реализации:
+Одно из принятых правил для реализации в языке программирования **prolet**:
 
 ```text
 В prolet не будет абстрактных типов вроде int, string.