thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.

https://www.cryptol.net

GNU General Public License v3.0

16 stars 6 forks source link

Support type insertion for Cryptol 2 #16

Open thoughtpolice opened 10 years ago

thoughtpolice commented 10 years ago

14 only dealt with Cryptol 1, but Cryptol 2 is trickier to support as it doesn't yet support the `-c` command line option.