@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 3.35 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>Advanced Ciao Emacs functionalities — The Ciao System v1.22</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="DevEnv.html">↑</a><a class="lpdoc-navbutton" href="CiaoMode.html">←</a><a class="lpdoc-navbutton" href="flycheck-ciao.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href="DevEnv.html">PART I - The program development environment</a> »<br/> </li><li><a href=""><strong>Advanced Ciao Emacs functionalities</strong></a> ▾<ul><li><a href="flycheck-ciao.html">Flycheck Ciao: on-the-fly syntax and assertion checking, and testing</a></li><li><a href="company-ciao.html">Company Ciao: advanced autocompletion</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>Advanced Ciao Emacs functionalities</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Miguel Angel Sanchez Ordaz" href="ciaosearch.html#Miguel Angel Sanchez Ordaz">Miguel Angel Sanchez Ordaz</a>.<p>
This is the documentation for GNU <a class="lpdoc-idx-anchor" id="0" href="emacs.html"><tt>emacs</tt></a> advanced functionalities. It explains how to install, set up, and use some of the most popular <a class="lpdoc-idx-anchor" id="1" href="emacs.html"><tt>emacs</tt></a> packages with Ciao support. The use of these packages is optional, but may be quite helpful when using Ciao. The current packages are:<p><dl> <p><dt>flycheck-ciao:<dd> advanced on-the-fly syntax, test, and assertion checking.<p><dt>company-ciao:<dd> advanced auto-completion and auto-help framework.<p></dl> <p>To install any of these packages, use the <a class="lpdoc-idx-anchor" id="2" href="emacs.html"><tt>emacs</tt></a> built-in package manager (<em>package.el</em>). Be sure the package list is refreshed (<span class="lpdoc-emacskey">ESC</span> <span class="lpdoc-emacskey">^X</span> package-refresh-contents <span class="lpdoc-emacskey">↵</span>) and then type:<p><ul> <p><li><span class="lpdoc-emacskey">ESC</span> <span class="lpdoc-emacskey">^X</span> package-install-file <span class="lpdoc-emacskey">↵</span> <em>*PACKAGE PATH*</em> <span class="lpdoc-emacskey">↵</span> <p></ul> <br/><h2>Subparts</h2><ul><li><a href="flycheck-ciao.html">Flycheck Ciao: on-the-fly syntax and assertion checking, and testing</a></li><li><a href="company-ciao.html">Company Ciao: advanced autocompletion</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>