../ 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/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