File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -26,7 +26,7 @@ You will have to use ``pack build`` instead of ``idris2 --build`` to compile a
2626package.
2727
2828If you already use ``pack ``, you can update your Idris version to the latest version
29- in development by using ``pack switch latest``[#f1]_. If you wish to use a specific
29+ in development by using ``pack switch latest `` ( [#f1 ]_) . If you wish to use a specific
3030release with ``pack ``, currently the only way to do this is to find the release
3131date, and then switch to its nightly collection by using, for example,
3232``pack switch nightly-231222 `` (which would switch to the 0.7.0 release).
@@ -112,6 +112,7 @@ There are editor modes which support interactive editing:
112112 * `Emacs mode (for Idris 1 and 2) <https://github.com/idris-hackers/idris-mode >`_
113113 * `(DEPRECATED) <https://github.blog/news-insights/product-news/sunsetting-atom/ >`_ `Atom package <https://atom.io/packages/language-idris >`__
114114
115- .. rubric :: Footnotes
115+ Footnotes
116+ ---------
116117
117118.. [#f1 ] This version point to the latest git commit (``HEAD ``) of the Idris 2 project.
You can’t perform that action at this time.
0 commit comments