git.iko.soy/Idris-dev
on a675cdb help sign in
history ofCONTRIBUTORS
all commits
b8a1382Add myself to CONTRIBUTORSJorge Acereda 20ee4d5Add the Vect version of dropElem.Caleb Case f670667Added my name (Taran Lynn) to CONTRIBUTORS.Taran Lynn 19624c7Support backticked operators in sections (#4119)Jason Felice d656534Merge pull request #4091 from jdevuyst/fix-issue-4090Ahmad Salim Al-Sibahi 526a39fAdd myself to CONTRIBUTORSJonas De Vuyst df7b19aAdd myself to `CONTRIBUTORS`Alex Queiroz 59ea372Update CHANGELOG and CONTRIBUTORSJoomy Korkut 0a83894added my self to contributorsRui Barreiro 6a031c5add Interfaces.Zippable to contribMichael Morgan 311e3beSimplify JS code generationThomas Scholtes 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