fib - the fibonacci only you would give me

	Commit message (Expand)	Author	Age
*	a different z3 constraint encoding	funemy	2022-10-25
*	people.json	funemy	2022-10-25
*	minor	funemy	2022-10-25
*	Merge branch 'main' of github.com:braxtonhall/fib	funemy	2022-10-25
\|\
\| *	Merge pull request #39 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\
\| \| *	ensure wc-fib(1)=1	braxtonhall	2022-10-25
\| * \|	Merge pull request #36 from LucasZamprogno/main	Braxton Hall	2022-10-25
\| \|\ \
\| \| * \|	Node things	Lucas Zamprogno	2022-10-25
\| * \| \|	Merge pull request #38 from braxtonhall/wc	Braxton Hall	2022-10-25
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| * \|	Make wc a little bit safer	braxtonhall	2022-10-25
\| \| * \|	Ruin my poor disk	braxtonhall	2022-10-25
\| * \| \|	Merge pull request #37 from rctcwyvrn/lily	Braxton Hall	2022-10-25
\| \|\ \ \
\| \| * \| \|	Cleanup	Lily Lin	2022-10-25
\| \| * \| \|	Add entries	Lily Lin	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #35 from markusdemedeiros/main	Braxton Hall	2022-10-25
\| \|\ \ \
\| \| * \| \|	god is dead 3	markusde	2022-10-25
\| \| * \| \|	god is dead 2	markusde	2022-10-25
\| \| * \| \|	Merge branch 'braxtonhall:main' into main	Markus de Medeiros	2022-10-25
\| \| \|\ \ \
\| \| * \| \| \|	god is dead	markusde	2022-10-25
\| * \| \| \| \|	Merge pull request #34 from adirar111/main	Braxton Hall	2022-10-25
\| \|\ \ \ \ \ \| \| \|_\|/ / / \| \|/\| \| \| \|
\| \| * \| \| \|	cleanup	Aymen Dirar	2022-10-25
\| \| * \| \| \|	make wasm prettier	Aymen Dirar	2022-10-25
\| \| * \| \| \|	c filesystem cache fib	Aymen Dirar	2022-10-25
\| \| \|/ / /
\| * \| \| \|	Merge pull request #33 from gonzalezf/main	Braxton Hall	2022-10-25
\| \|\ \ \ \ \| \| \|/ / / \| \|/\| \| \|
\| \| * \| \|	people.json fixed	gonzalezf	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #32 from jyoo980/main	Braxton Hall	2022-10-25
\| \|\ \ \
\| \| * \| \|	Updating people.json	James Yoo	2022-10-24
\| \| * \| \|	Merging local with remote main	James Yoo	2022-10-24
\| \| \|\ \ \
\| \| * \| \| \|	Adding HtDP version of fibonacci, pre @htdp tags	James Yoo	2022-10-24
\| * \| \| \| \|	Merge pull request #31 from davepagurek/main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \
\| \| * \ \ \ \	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \| \|\ \ \ \ \ \| \| \|/ / / / / \| \|/\| \| \| \| \|
\| * \| \| \| \| \|	Merge pull request #30 from dewert99/main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \ \ \| \| \|_\|_\|/ / / \| \|/\| \| \| \| \|
\| \| * \| \| \| \|	Added compiled version	David Ewert	2022-10-24
\| \| * \| \| \| \|	>=	David Ewert	2022-10-24
\| \| * \| \| \| \|	,	David Ewert	2022-10-24
\| \| * \| \| \| \|	Update people.json	David Ewert	2022-10-24
\| \| * \| \| \| \|	Added Fib	David Ewert	2022-10-24
\| \|/ / / / /
\| \| * \| \| \|	More consistent naming	Dave Pagurek	2022-10-24
\| \| * \| \| \|	Fix my broken JSON	Dave Pagurek	2022-10-24
\| \| * \| \| \|	I guess I've got to take credit for this	Dave Pagurek	2022-10-24
\| \| * \| \| \|	Rename fib.html to index.html	Dave Pagurek	2022-10-24
\| \| * \| \| \|	Do some unholy things with CSS	Dave Pagurek	2022-10-24
\| \|/ / / /
\| * \| \| \|	Merge pull request #29 from braxtonhall/marie	Braxton Hall	2022-10-24
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|
\| \| * \| \|	Add Marie	braxtonhall	2022-10-24
\| * \| \| \|	Merge pull request #28 from braxtonhall/rxg	Braxton Hall	2022-10-24
\| \|\ \ \ \ \| \| \|/ / / \| \|/\| \| \|
\| \| * \| \|	Add Ron	braxtonhall	2022-10-24
\| \|/ / /
\| * \| \|	Merge pull request #27 from StuartLiv/main	Braxton Hall	2022-10-24
\| \|\ \ \
\| \| * \| \|	Added ThetaFibN	StuartLiv	2022-10-24
\| * \| \| \|	Merge pull request #26 from braxtonhall/splaulette	Braxton Hall	2022-10-24
\| \|\ \ \ \
\| \| * \| \| \|	Update Paulette's fib	braxtonhall	2022-10-24