00f9ab19ac
The script used to identify and update the change is added into the GitHub workflows script directory. A workflow action can be created to trigger the script to update the headers on the first of every new year. Possibly a task for a consequent PR. |
||
|---|---|---|
| .. | ||
| img | ||
| README.org | ||
| packages.el | ||
README.org
SML layer
Description
Adds support for the SML programming language to Spacemacs.
Features:
- Syntax highlighting
- Integration of the
SML Replinto Emacs - Basic completion of SML forms via
sml-electric-space
Install
To use this configuration layer, add it to your ~/.spacemacs. You will need to
add sml to the existing dotspacemacs-configuration-layers list in this
file.
Key bindings
Form Completion
| Key binding | Description |
|---|---|
M-SPC |
Inserts a space and completes the form before the cursor. |
\vert{} |
Inserts a pipe and adds a double arrow or copies the function name. Generally just works. |
REPL
| Key binding | Description |
|---|---|
SPC m s b |
Send buffer to REPL |
SPC m s B |
Send buffer to REPL and switch to REPL buffer in insert state |
SPC m s f |
Send function to REPL |
SPC m s F |
Send function to REPL and switch to REPL buffer in insert state |
SPC m s i |
Run the sml REPL or switch to it if the REPL is already running |
SPC m s r |
Send region to REPL |
SPC m s R |
Send region to REPL and switch to REPL buffer in insert state |
SPC m s s |
Run the sml REPL or switch to it if the REPL is already running |