wip

Author: 5HT

index.html

@@ -93,7 +93,7 @@ <h2>Announcement</h2>
    <b>Erlang</b> dependently typed prover I name <b>Sigma</b> project and for <b>Coq</b> inspired
    architecture there is already project in Groupoid, <b>Christine</b>.</p>
 
- <p>The <b>Christine</b> synax could should be compatible with <b>Erlang</b> implementation once it emerges.
+ <p>The <b>Christine</b> syntax could should be compatible with <b>Erlang</b> implementation once it emerges.
 As for technical hints please take the following heart advise:<pr>
 
 <p>