diff options
| author | braxtonhall | 2022-11-30 20:31:57 +0000 |
|---|---|---|
| committer | braxtonhall | 2022-11-30 20:31:57 +0000 |
| commit | 1fe3de57d5aed6efc9701e93004a13247c51798f (patch) | |
| tree | 86cf2735ea29f5733e90b218aa0725555e2a983d /entries/ionchy/agda/Fib.agda | |
| parent | 07abc8709a5dd0082e699c749418b617d6fc3d3b (diff) | |
Make hitl2 a littler chattier
Diffstat (limited to 'entries/ionchy/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions