mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-18 03:33:18 +02:00
92d53362d4
This makes a makefile-driven developer workflow nicer.
2 lines
98 B
Markdown
2 lines
98 B
Markdown
Moved to [/doc/languages-frameworks/idris.section.md](/doc/languages-frameworks/idris.section.md)
|