<feed xmlns='http://www.w3.org/2005/Atom'>
<title>SOL/docs/language-specification.org, branch master</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/'/>
<entry>
<title>relation references as a term kind, written #Name</title>
<updated>2026-07-12T20:56:11+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-12T20:55:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/commit/?id=b4a2485afbf74e99e2147086fbca0568b7e2b7b8'/>
<id>b4a2485afbf74e99e2147086fbca0568b7e2b7b8</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>decision 14: no application in term position, spec example rewritten flat</title>
<updated>2026-07-12T04:06:21+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-12T04:06:21+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/commit/?id=c3b4c7aee1f0d4beb078938d330e982e752927a1'/>
<id>c3b4c7aee1f0d4beb078938d330e982e752927a1</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>language specification document</title>
<updated>2026-07-11T05:35:53+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-11T05:35:53+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/commit/?id=66fe3a753df22f701c6c36f6fd28b45f60d460cf'/>
<id>66fe3a753df22f701c6c36f6fd28b45f60d460cf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
