diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-09-23 13:44:43 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-09-23 13:44:43 +0100 |
| commit | af1cf7df5aeca2152890b591e96078b43325cb93 (patch) | |
| tree | eef1490464c729435609a5709512223b887a0b96 /src/Motzkin.agda | |
| parent | 50f12f6f2d4eb3a79263886fde107272e75b3975 (diff) | |
Add .gitignore.
Diffstat (limited to 'src/Motzkin.agda')
0 files changed, 0 insertions, 0 deletions