fib - the fibonacci only you would give me

	Commit message (Collapse)	Author	Age
...
\| * \| \| \|	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
\| * \| \| \|	Add Reid's contribution	braxtonhall	2022-10-24
\| \| \| \| \|
* \| \| \| \|	symbolic	funemy	2022-10-25
\| \|/ / / \|/\| \| \|
* \| \| \|	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 fib-java	braxtonhall	2022-10-24
\| \|/ /
\| * \|	Add an editorconfig so I can actually read the code on GitHub	braxtonhall	2022-10-24
\| \| \|
\| * \|	Merge pull request #11 from shayanh/main	Braxton Hall	2022-10-24
\| \|\ \ \| \| \| \| \| \| \| \|	added shayanh's entry
\| \| * \	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Fix fib-lang link	braxtonhall	2022-10-24
\| \| \| \|
\| * \| \|	Add fib-lang	braxtonhall	2022-10-24
\| \| \| \|
\| \| * \|	added shayanh's entry	Shayan Hosseini	2022-10-24
\| \|/ /
\| * \|	oops	braxtonhall	2022-10-24
\| \| \|
\| * \|	Merge pull request #10 from Tarcisio-Teixeira/Tarcisio-Teixeira-patch-1	Braxton Hall	2022-10-24
\| \|\ \ \| \| \| \| \| \| \| \|	Update fib.py
\| \| * \|	Update fib.py	Tarcisio-Teixeira	2022-10-24
\| \| \| \|
\| * \| \|	Give Tarcisio a temporary name	braxtonhall	2022-10-23
\| \| \| \|
\| * \| \|	Merge pull request #9 from Tarcisio-Teixeira/Tarcisio-Teixeira-patch-1	Braxton Hall	2022-10-23
\| \|\\| \| \| \| \| \| \| \| \| \|	Create fib.py
\| \| * \|	Create fib.py	Tarcisio-Teixeira	2022-10-23
\| \|/ /
\| * \|	Update README.md	Braxton Hall	2022-10-23
\| \| \|
\| * \|	Add Margo's fibs	braxtonhall	2022-10-23
\| \| \|
\| * \|	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
\|