Package: emacs-idris-mode @ 0.9.19-0.acc8835

Synopsis

Major mode for editing Idris code

Description

This is an Emacs mode for editing Idris code. It requires the latest version of Idris, and some features may rely on the latest Git version of Idris.

Home page

https://github.com/idris-hackers/idris-mode

Location

gnu/packages/emacs-xyz.scm (line: 11714, column: 4)

License

System	Target	Derivation	Build status
`x86_64-linux`		/gnu/store/vazda8b8i6mjmhjqff979ss1gzgj2shj-emacs-idris-mode-0.9.19-0.acc8835.drv
`mips64el-linux`		/gnu/store/1m4jn7whcx1jq034fvlf7d9yniag5s05-emacs-idris-mode-0.9.19-0.acc8835.drv
`i686-linux`		/gnu/store/nv2lxnm6gybl7mak4aznsmbbki5p32x2-emacs-idris-mode-0.9.19-0.acc8835.drv
`i586-gnu`		/gnu/store/sakl5gfn14nxl52b01rxh1qwxyxcl7is-emacs-idris-mode-0.9.19-0.acc8835.drv
`armhf-linux`		/gnu/store/l7rawvsg5iap87pl7yngl1rqd2q2i3rz-emacs-idris-mode-0.9.19-0.acc8835.drv
`aarch64-linux`		/gnu/store/ij6hxbbwh0zb1l74inpiqgdr35zbq2gc-emacs-idris-mode-0.9.19-0.acc8835.drv

Linter	Message	Location
No lint warnings ✓