../ base/Fixes #4161. Extracted mkNo to a top-level function for performance improvements9 years ago contrib/fixed doc and rndSelect to use NonEmpty instead of Maybe9 years ago effects/adjust fixities of common operators9 years ago prelude/adjust fixities of common operators9 years ago pruviloj/sort modules within .ipkg files by name9 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago