diff options
| author | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2021-06-23 16:20:51 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <petermikkelsen10@gmail.com> | 2021-06-23 16:20:51 +0000 |
| commit | 9b3a308c7248fd2fa94162e4401726327cc66aa3 (patch) | |
| tree | 5a71e4163aea4c742dee92b2a7c8bd24c5dabc66 /sites/pmikkelsen.com/opinions | |
| parent | 8c63b38749719fb061b8655e3feeb8ae8f4f652b (diff) | |
Add some agda test
Diffstat (limited to 'sites/pmikkelsen.com/opinions')
0 files changed, 0 insertions, 0 deletions