A Spacemacs layer for editing Cryptol files. - View it on GitHub