fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
...
* \| \|	Make Jon's work/description consistent with everyone else	braxtonhall	2022-10-23
\| \| \|
* \| \|	Merge pull request #8 from ionathanch/patch-1	Braxton Hall	2022-10-23
\|\ \ \ \| \| \| \| \| \| \| \|	Create Fib.agda
\| * \| \|	Create Fib.agda	Jonathan Chan	2022-10-23
\| \| \| \|
* \| \| \|	Add Yanze's Z3 version to the readme	braxtonhall	2022-10-23
\| \| \| \|
* \| \| \|	Merge pull request #7 from funemy/main	Braxton Hall	2022-10-23
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Z3 fib implementation
* \ \ \ \	Merge pull request #6 from adirar111/main	Braxton Hall	2022-10-23
\|\ \ \ \ \ \| \|_\|/ / / \|/\| \| \| \|	edits to `fib.s`
\| * \| \| \|	fix readme	Aymen Dirar	2022-10-23
\| \| \| \| \|
\| * \| \| \|	indent comment	Aymen Dirar	2022-10-23
\| \| \| \| \|
\| * \| \| \|	links to try	Aymen Dirar	2022-10-23
\| \| \| \| \|
\| * \| \| \|	rename to `.s`	Aymen Dirar	2022-10-23
\|/ / / /
* \| \| \|	Update .gitignore	Braxton Hall	2022-10-23
\| \| \| \|
* \| \| \|	Describe Yanze's contribution in the README	braxtonhall	2022-10-23
\| \| \| \|
* \| \| \|	Merge pull request #4 from funemy/main	Braxton Hall	2022-10-23
\|\ \ \ \ \| \| \| \| \| \| \| \| \| \|	Fib in Agda, the boring one
\| \| \| * \|	add proper bound check	funemy	2022-10-24
\| \| \|/ /
\| \| * \|	minor	funemy	2022-10-23
\| \| \| \|
\| \| * \|	z3 fib impl	funemy	2022-10-23
\| \|/ /
\| * /	boring one	funemy	2022-10-23
\|/ /
* \|	Describe James in the README	braxtonhall	2022-10-23
\| \|
* \|	Merge pull request #3 from Metroxe/patch-2	Braxton Hall	2022-10-23
\|\ \ \| \| \| \| \| \|	fixed duplicated calculation
\| * \|	fixed duplicated calculation	Christopher Powroznik	2022-10-23
\| \| \|
* \| \|	Merge pull request #2 from jyoo980/main	Braxton Hall	2022-10-23
\|\ \ \ \| \|/ / \|/\| \|	Adding fib in Scala
\| * \|	Adding return type to fib function	James Yoo	2022-10-23
\| \|/
\| *	Adding fib in Scala	James Yoo	2022-10-23
\|/
*	Update README.md	Braxton Hall	2022-10-23
\|
*	Add a contributing guide	Braxton Hall	2022-10-23
\|
*	Use GitHub IDs instead of full names (for now)	braxtonhall	2022-10-23
\|
*	Merge pull request #1 from Metroxe/patch-1	Braxton Hall	2022-10-23
\|\ \| \| \| \|	Add entry for Christopher Powroznik
\| *	Add entry for Christopher Powroznik	Christopher Powroznik	2022-10-23
\| \| \| \| \| \|	Made in HTML
* \|	Move some files around	braxtonhall	2022-10-23
\|/
*	Create fib.ys	Braxton Hall	2022-10-23
\|
*	Implement express fib	braxtonhall	2022-10-23
\|
*	Organize README	braxtonhall	2022-10-23
\|
*	Rename directory to use GitHub ID	braxtonhall	2022-10-23
\|
*	Initial commit	braxtonhall	2022-10-23