gentoo.mahdi.cz

  

app-emacs:cryptol-mode


Cryptol major mode for Emacs
http://github.com/thoughtpolice/cryptol-mode

cryptol-mode-20190531.2051
download~amd64 ~x86melpa
cryptol-mode-0.1.0
download~amd64 ~x86melpa-stable