Skip to content

Basic syntax highlighting for Cryptol in Emacs #2886

Basic syntax highlighting for Cryptol in Emacs

Basic syntax highlighting for Cryptol in Emacs #2886

Annotations

1 warning

test (test-lib, docstrings, windows-2019, false)

succeeded Oct 31, 2024 in 1m 18s