visimp

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

Source

Languages.prolog

global languages.prolog#

Languages.php Languages.python