Skip to content
Snippets Groups Projects
Unverified Commit ae482ce1 authored by David Craven's avatar David Craven
Browse files

gnu: idris: Move to (gnu packages idris). 

* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
parent c7a7129c
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment