../ base/Add takeUpto and dropUpto functions to Data.Vect8 years ago contrib/Prove that multiplication of inverses is the same os multiplication of original elements.8 years ago effects/Allow overriding IDRIS via environment variable9 years ago prelude/Make binary files the default when opening.8 years ago pruviloj/Allow overriding IDRIS via environment variable9 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago