Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Properly escape < in HTML content.

Browse Source
This commit is contained in:
Danila Fedorin 2023-12-28 00:36:58 -08:00
parent 9f437d5b9f
commit d7d99205a1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/blog/01_types_basics.md
View File

@ -329,8 +329,8 @@ above. I've provided the rules for numbers; the rules for strings should be quit
similar.<br>
<br>
In Bergamot, the claim that an expression <code>e</code> has type <code>t</code>
is written as <code>type(e, t)</code>. A rule looks like <code>RuleName @ conclusion <- premise1, premise2;</code>.
Thus, the rule <pre><code>TNumber @ type(lit(?n), number) <- num(?n);
is written as <code>type(e, t)</code>. A rule looks like <code>RuleName @ conclusion &lt;- premise1, premise2;</code>.
Thus, the rule <pre><code>TNumber @ type(lit(?n), number) &lt;- num(?n);
</code></pre>
Has one premise, that the term \(n\) is a number, and the conclusion is that
a number literal has type \(\text{number}\). The <code>num</code> condition