Edwin Brady
0b68452037
Added SVG logos
2015-06-22 15:32:38 +01:00
Timo Petteri Sinnemäki
58a11c95de
Added self to contributors list.
2015-06-01 17:11:03 +03:00
Niklas Larsson
e7f9257ba2
Adding myself
2015-04-26 18:12:09 +02:00
JP Smith
5f0dbd780e
clarify failing searches
2015-04-02 11:51:30 -05:00
Adam Sandberg Eriksson
642efb3386
Instance docs: Update CHANGELOG and CONTRIBUTORS
2015-03-09 17:13:29 +01:00
David Raymond Christiansen
9a4ee342ed
Re-alphabetize CONTRIBUTORS
2015-02-11 21:41:28 +01:00
Jakob Brünker
b13b6da493
update contributors to include myself
...
since I have submitted two pull requests which have been accepted,
D. Christiansen suggested I should be in this file.
2015-02-10 16:39:21 +01:00
Alexander Shabalin
1b4bb5fd03
Update CONTRIBUTORS
2014-11-16 22:48:51 +03:00
Alyssa Carter
008bf72b29
Adding Alyssa Carter to CONTRIBUTORS
2014-07-24 13:00:29 -07:00
Carter Charbonneau
97a2c74ee0
Add Functor Monad and Applicative id instances
2014-07-23 15:36:42 -06:00
mrb
dfa272d156
suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS
2014-06-29 14:14:15 -04:00
Jan Bessai
6a3aac2573
Added myself to contributors
2014-06-07 22:44:17 +02:00
Paul Koerbitz
cc92419dce
Add myself to the CONTRIBUTORS file
2014-05-01 16:21:13 +02:00
Kester Tong
b16871f416
Adds Google to contributors list
2014-04-28 20:14:06 -04:00
Edwin Brady
28209459c2
Merge branch 'master' of github.com:idris-lang/Idris-dev
2014-04-20 21:28:46 +01:00
Edwin Brady
85ff9c2935
Coverage checker fix
...
If a candidate case fails with a 'recoverable' unification error (i.e.
one which could be fixed by allowing more reduction somewhere) then it
should be considered valid for coverage checking purposes.
Fixes #1069 (and possibly some others, not checked yet!)
(There is, I think a better fix, involving better generation of
candidate cases, which I will leave for another time)
2014-04-20 21:26:47 +01:00
Matus Tejiscak
8c6939d682
Add some UTF8 to CONTRIBUTORS.
2014-04-20 16:59:12 +01:00
Edwin Brady
8bf2f8ab12
Merge pull request #1090 from david-christiansen/rasmussen-credit
...
Give Philip credit in CHANGELOG and CONTRIBUTORS
2014-04-20 16:55:29 +01:00
David Raymond Christiansen
e4678657b1
Give Philip credit in CHANGELOG and CONTRIBUTORS
...
This adds IdrisDoc to these places.
2014-04-20 17:54:02 +02:00
Edwin Brady
9c3b457677
Update CHANGELOG/CONTRIBUTORS
2014-04-20 16:53:11 +01:00
Shea Levy
dafb098904
Add self to contributors
2014-02-01 17:17:45 +00:00
Jan de Muijnck-Hughes
a306c33442
Updates to contributing guidelines.
...
+ Fixed markup
+ Introduced new sectioning
+ Updated list on contributors.
2014-01-22 12:10:23 +00:00
Edward Amsden
8a746499f6
Add ECA to contributors
2013-11-05 14:39:27 -05:00
Ahmad Salim Al-Sibahi
e2c0e02f8c
Added myself to contributors
2013-10-16 17:28:45 +02:00
Reynir Reynisson
cd462c9ed8
add myself to CONTRIBUTORS
2013-10-16 15:44:28 +02:00
Edwin Brady
55dbed59ae
Update CONTRIBUTORS and CHANGELOG
2013-07-31 21:28:57 +01:00
Hannes Mehnert
2297270b80
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
2013-03-13 15:24:15 +01:00
David Christiansen
11f687e636
Add myself to CONTRIBUTORS
...
(gotta stoke the flames of ego)
2013-03-12 17:31:47 +01:00
Edwin Brady
83e4758e65
Added CONTRIBUTORS file. Feel free to edit :).
2013-01-13 14:05:31 +00:00
