aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* Fortran :) (also moved my Agda file up a dir)Jonathan Chan2022-10-24
* Add Reid's contributionbraxtonhall2022-10-24
* Add fib-javabraxtonhall2022-10-24
* Merge branch 'main' into mainBraxton Hall2022-10-24
|\
| * Fix fib-lang linkbraxtonhall2022-10-24
| * Add fib-langbraxtonhall2022-10-24
* | added shayanh's entryShayan Hosseini2022-10-24
|/
* oopsbraxtonhall2022-10-24
* Give Tarcisio a temporary namebraxtonhall2022-10-23
* Update README.mdBraxton Hall2022-10-23
* Add Margo's fibsbraxtonhall2022-10-23
* Make Jon's work/description consistent with everyone elsebraxtonhall2022-10-23
* Add Yanze's Z3 version to the readmebraxtonhall2022-10-23
* fix readmeAymen Dirar2022-10-23
* Describe Yanze's contribution in the READMEbraxtonhall2022-10-23
* Describe James in the READMEbraxtonhall2022-10-23
* Update README.mdBraxton Hall2022-10-23
* Add a contributing guideBraxton Hall2022-10-23
* Use GitHub IDs instead of full names (for now)braxtonhall2022-10-23
* Move some files aroundbraxtonhall2022-10-23
* Implement express fibbraxtonhall2022-10-23
* Organize READMEbraxtonhall2022-10-23
* Rename directory to use GitHub IDbraxtonhall2022-10-23
* Initial commitbraxtonhall2022-10-23