SubML (prototype) language
The SubML language provides polymorphic types and subtyping, but also existential types, inductive types and coinductive types.
Online interpreter
The easyest way to try SubML is to use our online interpreter, which can be found here.
Compiling from source
If you prefer, you can also compile SubML from source, and run it on your machine. To do so, you will need a working version of OCaml (at least 4.07.0) and opam.
You can run the following commands to get the source and install the dependencies (SubML itself will not be installed).
git clone [email protected]:rlepigre/subml.git
cd subml
opam install . --deps-only
makeYou can then run Subml using dune exec -- subml. For example, you
can run file lib/nat.typ with dune exec -- subml lib/nat.typ.
Note: you must run the program in the main directory (where the
lib directory is accessible).
Documentation
Useful links:
- File tutorial.typ gives an introduction to the language and its syntax.
- The online interpreter lets you evaluate existing programs, and also write new ones.
- The documentation of the code gives some informations on the implementation.
Editor support
Vim
Just use the install_vim target.
make install_vimNote: the syntax coloring and automatic format detection for .typ files
is user-specific by default. Files are installed under $HOME/.vim in the
standard way.
Neovim
Just use the install_nvim target.
make install_nvimNote: the syntax coloring and automatic format detection for .typ files
is user-specific by default. Files are installed under $HOME/.config/nvim in
the standard way.
Emacs
Just use the install_emacs target.
make install_emacsNote: the mode is installed under the standard share/emacs/site-lisp
folder, according the the $PREFIX.
Removing editor modes
To remove all installed editor modes just use the uninstall_editor_modes.
make uninstall_editor_modes