visimp

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

Source

Visimp Config

alias VisimpConfig #

(alias) VisimpConfig = table<LayerId,table>