Nova A programming language based on extensional Martin Lof Type Theory. Written in Idris2. Dependencies Just-a-Monad Just-a-Parser Tooling Nova-Lsp