diff options
| author | braxtonhall | 2022-10-23 20:47:32 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-10-23 20:47:32 +0000 |
| commit | af0d8d454eaac9cbe5e04b1120645a578b8e60a4 (patch) | |
| tree | 888373cfef0a98b905881c1e9c1f4e5a8ebbef58 /entries/ionathanch/agda/Fib.agda | |
| parent | a0e82fd0f3c03e724a035eb08af1becc0a467697 (diff) | |
Use GitHub IDs instead of full names (for now)
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions