../ base/Add takeUpto and dropUpto functions to Data.Vect8 years ago contrib/Replace hardcoded constants from <sys/socket.h> with FFI references8 years ago effects/Allow overriding IDRIS via environment variable9 years ago prelude/Correcting typo in documentation8 years ago pruviloj/Allow overriding IDRIS via environment variable9 years ago MakefileAllow Idris to install IdrisDoc into a central location.10 years ago