diff options
| author | Braxton Hall | 2022-12-02 00:21:25 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-02 00:21:25 +0000 |
| commit | ea21a343d407bda33e5b4dfbeb711a975a5aa4e6 (patch) | |
| tree | ce1d801ffbb93ccaa2f710be3f5417e34f56c252 /entries/ionchy/agda/Fib.agda | |
| parent | d8e6768c0670aee39db801a33fdeea39510123a4 (diff) | |
| parent | a743c494a7fd3fd0d3766e53c337a22ed6550beb (diff) | |
Merge pull request #90 from braxtonhall/hitl2
The actual exhibition!
Diffstat (limited to 'entries/ionchy/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions