<feed xmlns='http://www.w3.org/2005/Atom'>
<title>SOL/bin/lsp.ml, branch master</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/'/>
<entry>
<title>lsp gains hover, definition and completion from a text-level symbol scan</title>
<updated>2026-07-12T21:43:23+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-12T21:43:23+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/commit/?id=19ba625e0345a88da6c29ab91a3ba2d7a8462065'/>
<id>19ba625e0345a88da6c29ab91a3ba2d7a8462065</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>language server over stdio, emacs mode with repl and eglot wiring</title>
<updated>2026-07-12T21:27:44+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-12T21:27:44+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/SOL/commit/?id=27e9ddee53b8fa43725f951434404691d8012190'/>
<id>27e9ddee53b8fa43725f951434404691d8012190</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
