Available Layers » lang#agda

• Description
• Features
• Install
• Key bindings

Description

Agda is a dependently typed functional programming language. This layer adds Agda language support to SpaceVim.

Features

• syntax highlighting

Install

To use this configuration layer, update your custom configuration file with:

[[layers]]
  name = "lang#agda"

Key bindings