app-emacs/redprl
Major mode for editing RedPRL proofs and interacting with RedPRL
-
redprl-0.1.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
Runtime Dependencies
redprl-20180418.1434
>=app-editors/emacs-25.3:*
redprl-0.1.0
>=app-editors/emacs-25.3:*