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, ffi, macos-14, false)

succeeded Oct 31, 2024 in 29s