mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-25 04:33:45 +03:00
Update CHANGELOG/CONTRIBUTORS
We need to keep the CONTRIBUTORS file up to date, to give people proper credit where it's due. There may still be people missing - please feel free to add your own name if you think it should be there!
This commit is contained in:
parent
fec03ea598
commit
e1ecefa205
@ -1,3 +1,10 @@
|
||||
Changes since Idris 2 v0.3.0
|
||||
----------------------------
|
||||
|
||||
REPL/IDE mode changes:
|
||||
|
||||
* Added `:search` command, which searches for functions by type
|
||||
|
||||
Changes since Idris 2 v0.2.1
|
||||
----------------------------
|
||||
|
||||
|
16
CONTRIBUTORS
16
CONTRIBUTORS
@ -1,34 +1,41 @@
|
||||
Thanks to the following for their help and contributions to Idris 2:
|
||||
|
||||
Aaron Lebahn
|
||||
Abdelhakim Qbaich
|
||||
Alex Gryzlov
|
||||
Alex Silva
|
||||
alissa42
|
||||
Andre Kuhlenschmidt
|
||||
André Videla
|
||||
Andy Lok
|
||||
Anthony Lodi
|
||||
Arnaud Bailly
|
||||
Brian Wignall
|
||||
Bryn Keller
|
||||
Christian Rasmussen
|
||||
David Smith
|
||||
Denis Buzdalov
|
||||
Edwin Brady
|
||||
Fabián Heredia Montiel
|
||||
Felix Springer
|
||||
George Pollard
|
||||
GhiOm
|
||||
Guillaume Allais
|
||||
Ilya Rezvov
|
||||
Jan de Muijnck-Hughes
|
||||
Jeetu
|
||||
Joey Eremondi
|
||||
Johann Rudloff
|
||||
Kamil Shakirov
|
||||
Bryn Keller
|
||||
Kevin Boulain
|
||||
LuoChen
|
||||
Marc Petit-Huguenin
|
||||
MarcelineVQ
|
||||
Marshall Bowers
|
||||
Mathew Polzin
|
||||
Matthew Wilson
|
||||
Matus Tejiscak
|
||||
Michael Messer
|
||||
Michael Morgan
|
||||
Milan Kral
|
||||
Molly Miller
|
||||
@ -41,7 +48,12 @@ Rohit Grover
|
||||
Rui Barreiro
|
||||
Ruslan Feizerahmanov
|
||||
Simon Chatterjee
|
||||
then0rTh
|
||||
tensorknower69
|
||||
Theo Butler
|
||||
Thomas Dziedzic
|
||||
Tim Süberkrüb
|
||||
Timmy Jose
|
||||
then0rTh
|
||||
|
||||
Apologies to anyone we've missed - let us know and we'll correct it (or just
|
||||
send a PR with the correction).
|
||||
|
@ -1,5 +1,7 @@
|
||||
#!/bin/sh
|
||||
|
||||
set -e
|
||||
|
||||
if [ $# -eq 0 ]
|
||||
then
|
||||
echo "No version number supplied"
|
||||
|
Loading…
Reference in New Issue
Block a user