README.org

lang/idris

Table of Contents

• Description
  • Maintainers
  • Module Flags
  • Plugins
• Prerequisites
• Features

Description

This module adds rudimentary Idris support.

Maintainers

This module has no dedicated maintainers.

Module Flags

This module provides no flags.

Plugins

• idris-mode

Prerequisites

This module has no prerequisites.

Features

In addition to idris-mode goodness, adds frequently used functions under the localleader key.