aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Collapse)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