language-idris

A plugin for developing with Idris

idris-hackers

15,090

9

0.6.0

MIT

GitHub

This package provides the following services:

An Idris Mode for Atom

A work-in-progress Idris Mode for Atom.

It supports:

Usage

The package should work after installation. The only thing you might need to set is the path to the idris executable in the config of this package. If it doesn't work it's probably a bug.

There is a tutorial on how to use the editor under documentation/tutorial.md.

Working with ipkg files

Place your ipkg file in the top level directory of your project. There is more information available in a in a separate documentation.

Todo

Development

see the Development Guide