search

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

Update Cryptol URL #21

Closed david-christiansen closed 6 years ago

david-christiansen commented 6 years ago

The old address 404s. This fixes it in the README, but not the repository description.

thoughtpolice commented 6 years ago

Thanks David!

thoughtpolice commented 6 years ago

Also fixed in the repository description, now.