git.iko.soy/Idris-dev
on aeb032a help sign in
history ofCONTRIBUTORS
all commits
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 dafb098Add self to contributorsShea Levy