Index of /src/agda-tac-0.1.5/

../
src/                                               14-Apr-2024 12:53                   -
Cargo.lock                                         19-Nov-2020 15:52               16720
Cargo.toml                                         19-Nov-2020 15:52                1319
Cargo.toml.orig                                    19-Nov-2020 15:52                 626
README.md                                          24-Nov-2019 06:07                1050