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.