visimp

Installation
Introduction
Configuration
Languages
- Supported Languages
- Quirks
  - Agda
  - Gleam
  - Idris
  - Lean
  - Rocq
Layers
Contributing
- Guidelines
- Layer
Reference
- Types
- Modules

Source

Layers.comment

global layers.comment#

Layers.colorizer Layers.defaults