visimp

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

Source

Languages.python

global languages.python#

Languages.prolog Languages.rocq