The SubML language provides polymorphic types and subtyping, but also existential types, inductive types and coinductive types.
The easyest way to try SubML is to use our online interpreter, which can be found here.
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).
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.
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.
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.
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.
To remove all installed editor modes just use the uninstall_editor_modes.
make uninstall_editor_modes