Install urweb-mode by entering the following commands in the terminal:
sudo apt update sudo apt install urweb-mode
Description:
Emacs mode for editing Ur/Web programs
Ur is a pure, functional, statically typed, strict programming language in the tradition of ML and Haskell; however, it features a significantly richer type system. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports constructing dynamic web applications backed by SQL databases. . This package provides an Emacs mode for editing Ur/Web source files.
Homepage: http://impredicative.com/ur/
Version: 20170720+dfsg-2build1
Section: universe/editors