oak-vampire 0.0.11

High-performance incremental Vampire parser for the oak ecosystem with flexible configuration.
Documentation 
1
2
3

# Vampire LSP Highlighter


This module provides vampire lsp highlighter functionality for the Oaks project.