diff options
| author | Braxton Hall | 2022-10-27 21:10:33 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-27 21:10:33 +0000 |
| commit | 45785803fa5ba724bc87923357ece5e184221a73 (patch) | |
| tree | 71335e1c2474bc2d0cffa04dfdb3ac9da4cdde64 /entries/ionathanch/agda/Fib.agda | |
| parent | 3b3f8d58655f507baa96ae6ad695df39cb9477cc (diff) | |
| parent | af5fbfa8ca1851ac081486249ea3ce42fb1bdc92 (diff) | |
Merge pull request #62 from braxtonhall/alex
Add Alex's viper fib
Diffstat (limited to 'entries/ionathanch/agda/Fib.agda')
0 files changed, 0 insertions, 0 deletions