fib - the fibonacci only you would give me

	Commit message (Expand)	Author	Age
*	a different z3 constraint encoding	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
\| * \| \|	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 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
\| \| \|/ / /
\| * / / /	people.json fixed	gonzalezf	2022-10-25
\| \|/ / /
\| * \| \|	Merge pull request #32 from jyoo980/main	Braxton Hall	2022-10-25
\| \|\ \ \
\| \| * \ \	Merging local with remote main	James Yoo	2022-10-24
\| \| \|\ \ \
\| \| * \| \| \|	Adding HtDP version of fibonacci, pre @htdp tags	James Yoo	2022-10-24
\| * \| \| \| \|	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\ \ \ \ \
\| \| * \| \| \| \|	Added compiled version	David Ewert	2022-10-24
\| \| * \| \| \| \|	>=	David Ewert	2022-10-24
\| \| * \| \| \| \|	Added Fib	David Ewert	2022-10-24
\| \| \| \|/ / / \| \| \|/\| \| \|
\| * \| \| \| \|	More consistent naming	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
\| * \| \| \|	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
\| * \| \| \| \|	Merge pull request #25 from braxtonhall/splaulette	Braxton Hall	2022-10-24
\| \|\\| \| \| \|
\| \| * \| \| \|	Add Paulette	braxtonhall	2022-10-24
\| * \| \| \| \|	Merge branch 'main' into main	Braxton Hall	2022-10-24
\| \|\\| \| \| \|
\| \| * \| \| \|	Merge pull request #23 from braxtonhall/nico	Braxton Hall	2022-10-24
\| \| \|\ \ \ \
\| \| \| * \| \| \|	Add Nico's new fibs	braxtonhall	2022-10-24
\| \| * \| \| \| \|	Add submission for zgrannan	Zack Grannan	2022-10-24
\| \| \|/ / / /
\| * / / / /	add haskell entry	Xu, Junfeng	2022-10-24
\| \|/ / / /
\| * \| \| \|	Added fib in befunge	Justin Frank	2022-10-24
\| * \| \| \|	Ok made it readable	Felipe Bañados Schwerter	2022-10-24
\| * \| \| \|	Base smalltalk export	Felipe Bañados Schwerter	2022-10-24
\| * \| \| \|	Specified implementation in coq	Felipe Bañados Schwerter	2022-10-24
\| \|/ / /
\| * \| \|	Merge pull request #18 from lizard-business/maude-ats	Braxton Hall	2022-10-24
\| \|\ \ \