git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofCONTRIBUTORS
all commits
09ab243Update CONTRIBUTORSReynir Björnsson e0cc0cfMerge pull request #3629 from atacratic/DataZZProofsEdwin Brady b75f32fAdd myself to CONTRIBUTORSChris Gibbs c331c16Add myself to `CONTRIBUTORS`, as requested.Synthetica9 7eed681add myself to contributorsVyacheslav Shebanov 908053dUpdated CONTRIBUTORS to reflect actual contributors.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky 0af8366Add regression tests for #3275Björn Aili 65ec8f2Alphabetize CONTRIBUTORSEcho Nolan 755b36aAdd Echo Nolan to CONTRIBUTORSEcho Nolan 6277bd1Add Eric Weinstein to CONTRIBUTORS (#3256)Eric Weinstein bdf2789File Modes CHANGELOGAistis Raulinaitis 9b2ca04Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffiEdwin Brady 5a8536aMerge pull request #2677 from zgrannan/repl-check-operatorNiklas Larsson b329791Add @jeremy-w to CONTRIBUTORSJeremy W. Sherman 5f89889Update CONTRIBUTORSZack Grannan b9e9c52Add myself to CONTRIBUTORS.Sean Hunt c934905Add myself as contributor for #2373 and #2569Guglielmo Fachini 0b68452Added SVG logosEdwin Brady 58a11c9Added self to contributors list.Timo Petteri Sinnemäki e7f9257Adding myselfNiklas Larsson 5f0dbd7clarify failing searchesJP Smith 642efb3Instance docs: Update CHANGELOG and CONTRIBUTORSAdam Sandberg Eriksson 9a4ee34Re-alphabetize CONTRIBUTORSDavid Raymond Christiansen b13b6daupdate contributors to include myselfJakob Brünker 1b4bb5fUpdate CONTRIBUTORSAlexander Shabalin 008bf72Adding Alyssa Carter to CONTRIBUTORSAlyssa Carter 97a2c74Add Functor Monad and Applicative id instancesCarter Charbonneau dfa272dsuc{Max,Min}{L,R} + add mrb to CONTRIBUTORSmrb 6a3aac2Added myself to contributorsJan Bessai cc92419Add myself to the CONTRIBUTORS filePaul Koerbitz b16871fAdds Google to contributors listKester Tong 2820945Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 85ff9c2Coverage checker fixEdwin Brady 8c6939dAdd some UTF8 to CONTRIBUTORS.Matus Tejiscak 8bf2f8aMerge pull request #1090 from david-christiansen/rasmussen-creditEdwin Brady e467865Give Philip credit in CHANGELOG and CONTRIBUTORSDavid Raymond Christiansen 9c3b457Update CHANGELOG/CONTRIBUTORSEdwin Brady dafb098Add self to contributorsShea Levy a306c33Updates to contributing guidelines.Jan de Muijnck-Hughes 8a74649Add ECA to contributorsEdward Amsden e2c0e02Added myself to contributorsAhmad Salim Al-Sibahi cd462c9add myself to CONTRIBUTORSReynir Reynisson 55dbed5Update CONTRIBUTORS and CHANGELOGEdwin Brady 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert 11f687eAdd myself to CONTRIBUTORSDavid Christiansen 83e4758Added CONTRIBUTORS file. Feel free to edit :).Edwin Brady