008bf72Adding Alyssa Carter to CONTRIBUTORSAlyssa Carter12 years ago 97a2c74Add Functor Monad and Applicative id instancesCarter Charbonneau12 years ago dfa272dsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORSmrb12 years ago 6a3aac2Added myself to contributorsJan Bessai12 years ago cc92419Add myself to the CONTRIBUTORS filePaul Koerbitz13 years ago b16871fAdds Google to contributors listKester Tong13 years ago 2820945Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago 85ff9c2Coverage checker fixEdwin Brady13 years ago 8c6939dAdd some UTF8 to CONTRIBUTORS.Matus Tejiscak13 years ago 8bf2f8aMerge pull request #1090 from david-christiansen/rasmussen-creditEdwin Brady13 years ago e467865Give Philip credit in CHANGELOG and CONTRIBUTORSDavid Raymond Christiansen13 years ago 9c3b457Update CHANGELOG/CONTRIBUTORSEdwin Brady13 years ago dafb098Add self to contributorsShea Levy13 years ago a306c33Updates to contributing guidelines.Jan de Muijnck-Hughes13 years ago 8a74649Add ECA to contributorsEdward Amsden13 years ago e2c0e02Added myself to contributorsAhmad Salim Al-Sibahi13 years ago cd462c9add myself to CONTRIBUTORSReynir Reynisson13 years ago 55dbed5Update CONTRIBUTORS and CHANGELOGEdwin Brady13 years ago 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert14 years ago 11f687eAdd myself to CONTRIBUTORSDavid Christiansen14 years ago 83e4758Added CONTRIBUTORS file. Feel free to edit :).Edwin Brady14 years ago