diff options
| author | Braxton Hall | 2022-10-30 18:32:43 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-30 18:32:43 +0000 |
| commit | a556712eaa077aed8a6798f24fc42c043b904d0a (patch) | |
| tree | bbe2fecfd8328961cc245ee9de0413cdf43a1c88 /entries/funemy/agda/fib1.agda | |
| parent | 524d8c5e46ba22b068763e885850601464c25a56 (diff) | |
| parent | b3e6a0cc52a7b42adc239ed1cad1622842f2cc9a (diff) | |
Merge pull request #71 from cc-21/main
Add a buggy implementation
Diffstat (limited to 'entries/funemy/agda/fib1.agda')
0 files changed, 0 insertions, 0 deletions