diff options
| author | Braxton Hall | 2022-10-24 22:06:56 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-24 22:06:56 +0000 |
| commit | 89bd4035db8c9979b1f3c76a9aee951204f3ef59 (patch) | |
| tree | 14b79eae531d4dfc26fa90502e60461fbae12014 /entries/funemy/agda/fib1.agda | |
| parent | 39795db6b972b0f0ae471ae353022e17f3763608 (diff) | |
| parent | 2db6cb57d86bfa3616e9f8ede8ac73b30dfe75e1 (diff) | |
Merge pull request #27 from StuartLiv/main
Added ThetaFibN
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions