diff options
| author | Crazazy | 2024-12-01 11:20:14 +0100 |
|---|---|---|
| committer | Erik Oosting | 2024-12-01 12:01:06 +0100 |
| commit | 9f4a26f9188f74aa6869583ab991b4b8eccbb0b7 (patch) | |
| tree | f5ab9f0bb6840bc9f91ca5a0bc4bb937481e02b9 /src/Main.idr | |
initial commit
why does this take so long ;_;
Diffstat (limited to 'src/Main.idr')
0 files changed, 0 insertions, 0 deletions