PowerNuts

Currently under devloppment, do not expect anything to work.

A neovim plugin allowing users to use the full power of the Squirrel proof assistant.

Installation

There are no dependencies needed.

Using Lazy.nvim

{
    'benjamin-voisin/PowerNuts'
}

Usage

The only working functionnality now is the syntax highlingting.