redprl

Homepage: https://github.com/RedPRL/sml-redprl

Author: Jonathan Sterling

Updated:

Summary

Major mode for editing RedPRL proofs and interacting with RedPRL

Commentary

This is a major mode for editing RedPRL developments.  The current
editing features include simple syntax highlighting, imenu, and
completion support.  Additionally, there is a command to run RedPRL
in a compilation buffer.

RedPRL can be obtained from https://github.com/RedPRL/sml-redprl .

Make sure to set the variable `redprl-command' to the location of the
redprl binary.

Dependencies