GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Add saw-script.el to MELPA #537

Open benjaminjellison opened 5 years ago

benjaminjellison commented 5 years ago

I just found out that saw-script.el exists. Any chance you can add it to MELPA for easy installation?

weaversa commented 4 years ago

Would the saw-script maintainers mind if we submitted it to MELPA?

Here's a link to the old pull request for cryptol-mode.

https://github.com/melpa/melpa/commit/815b79072d44e3693818cddc96e4cb1ea227eac2

atomb commented 4 years ago

I wonder if @jared-w would be interested in looking into this.