diff options
| author | j-james | 2022-11-04 21:28:54 +0000 |
|---|---|---|
| committer | j-james | 2022-11-04 21:37:22 +0000 |
| commit | 013fe632bfe4d9e9e4446d08998ac01863195000 (patch) | |
| tree | 8191912ec8fa9d60edb3f57f65005480b56867d9 /entries/ionchy/agda/Fib.agda | |
| parent | 707163ddd8df67f4691f6f105a8b067974f6a4e6 (diff) | |
Tweak tiles and add an example
Diffstat (limited to 'entries/ionchy/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions