Scaled Idris Mode A Scaled major editing mode for editing Idris code. Documentation TBD. Distribution Scaled Idris Mode is released under the New BSD License. The most recent version of the code is available at http://github.com/scaled/idris-mode