fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
*	Update Paulette's fib	braxtonhall	2022-10-24
\|
*	Add Paulette	braxtonhall	2022-10-24
\|
*	Merge pull request #23 from braxtonhall/nico	Braxton Hall	2022-10-24
\|\ \| \| \| \|	Nico
\| *	Make PR workflow a little stricter	braxtonhall	2022-10-24
\| \|
\| *	Add a PR workflow	braxtonhall	2022-10-24
\| \|
\| *	Add Nico's new fibs	braxtonhall	2022-10-24
\| \|
* \|	Merge pull request #22 from zgrannan/main	Braxton Hall	2022-10-24
\|\ \ \| \|/ \|/\|	Add submission for zgrannan
\| *	Update designation	Zack Grannan	2022-10-24
\| \|
\| *	Add submission for zgrannan	Zack Grannan	2022-10-24
\|/
*	Merge pull request #21 from laelath/main	Braxton Hall	2022-10-24
\|\ \| \| \| \|	Added fib in befunge
\| *	Added fib in befunge	Justin Frank	2022-10-24
\|/
*	Merge pull request #19 from fbanados/fbanados	Braxton Hall	2022-10-24
\|\ \| \| \| \|	fbanados in coq.
\| *	Added second entry	Felipe Bañados Schwerter	2022-10-24
\| \|
\| *	Ok made it readable	Felipe Bañados Schwerter	2022-10-24
\| \|
\| *	Fixed people	Felipe Bañados Schwerter	2022-10-24
\| \|
\| *	Base smalltalk export	Felipe Bañados Schwerter	2022-10-24
\| \|
\| *	Added fbanados	Felipe Bañados Schwerter	2022-10-24
\| \|
\| *	Specified implementation in coq	Felipe Bañados Schwerter	2022-10-24
\|/
*	Make name sorting independent of case	braxtonhall	2022-10-24
\|
*	Merge pull request #18 from lizard-business/maude-ats	Braxton Hall	2022-10-24
\|\ \| \| \| \|	add maude & ATS
\| *	add maude & ATS	rhiannon morris	2022-10-24
\| \|
* \|	Merge pull request #17 from adirar111/main	Braxton Hall	2022-10-24
\|\ \ \| \|/ \|/\|	wasm
\| *	handle negative	Aymen Dirar	2022-10-24
\| \|
\| *	comment	Aymen Dirar	2022-10-24
\| \|
\| *	update `people.json`	Aymen Dirar	2022-10-24
\| \|
\| *	wasm lol	Aymen Dirar	2022-10-24
\|/
*	Update README.md	Braxton Hall	2022-10-24
\|
*	Merge branch 'main' of github.com:braxtonhall/fib into main	braxtonhall	2022-10-24
\|\
\| *	Create pull_request_template.md	Braxton Hall	2022-10-24
\| \|
* \|	Remove silly console log	braxtonhall	2022-10-24
\|/
*	Update HTML	braxtonhall	2022-10-24
\|
*	Sort entries, use correct URL for people	braxtonhall	2022-10-24
\|
*	Merge branch 'main' of github.com:braxtonhall/fib into main	braxtonhall	2022-10-24
\|\
\| *	Merge pull request #16 from perryliao/main	Braxton Hall	2022-10-24
\| \|\ \| \| \| \| \| \|	whops
\| \| *	validation should probably come first lol	Perry Liao	2022-10-24
\| \| \|
\| \| *	make only 1 wc call	Perry Liao	2022-10-24
\| \| \|
* \| \|	Migrate contributors to static html	braxtonhall	2022-10-24
\|/ /
* \|	Merge pull request #15 from meghasinghania22/main	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	bash: add fib function
\| * \|	bash: add fib function	Megha Singhania	2022-10-24
\| \| \|
* \| \|	Merge pull request #14 from perryliao/main	Braxton Hall	2022-10-24
\|\ \ \ \| \| \|/ \| \|/\|	lemme see your groovy
\| * \|	Create Jenkins groovy pipeline for fib	Perry Liao	2022-10-24
\| \| \|
* \| \|	Merge pull request #13 from ionathanch/main	Braxton Hall	2022-10-24
\|\ \ \ \| \|_\|/ \|/\| \|	Fortran :) (also moved my Agda file up a dir)
\| * \|	Fortran :) (also moved my Agda file up a dir)	Jonathan Chan	2022-10-24
\|/ /
* \|	Merge pull request #12 from funemy/main	Braxton Hall	2022-10-24
\|\ \ \| \| \| \| \| \|	add proper bound check for z3 constraints
\| * \|	minor	funemy	2022-10-24
\| \| \|
\| * \|	fix	funemy	2022-10-24
\| \| \|
\| * \|	minor	funemy	2022-10-24
\| \| \|
\| * \|	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-24
\| \|\ \
\| * \| \|	add proper bound check	funemy	2022-10-24
\| \| \| \|
* \| \| \|	Add Reid's contribution	braxtonhall	2022-10-24
\| \|/ / \|/\| \|