fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
...
\| * \| \|	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