diff --git a/_01.Language-basics.sz b/_01.Language-basics.sz index 7b5f52c..5835878 100644 --- a/_01.Language-basics.sz +++ b/_01.Language-basics.sz @@ -79,11 +79,6 @@ This can then be destructed using pattern matching. (_ (panic! "This should not happen.")))) } -@subsubsection{Editor support} - -Bjolang was written in emacs, and emacs is currently the only editor with limited bjolang support through the file bjomode.el in the @link["https://github.com/bjoli/Bjolang"]{main github repository}. It lacks any fancy things, but handles a modicum of indentation and syntax highlighting. - - @subsection{Values, types and signatures} These are the bjolang literals: @read-table{