Index of /src/agda-tree-0.2.4/

../
src/                                               29-Sep-2024 06:21                   -
Cargo.lock                                         01-Jan-1970 00:00               12431
Cargo.toml                                         01-Jan-1970 00:00                 927
Cargo.toml.orig                                    24-Jul-2006 01:21                 237
LICENSE                                            24-Jul-2006 01:21               35149
README.md                                          24-Jul-2006 01:21                 901
coproduct.lagda.tree                               24-Jul-2006 01:21                1614
univalent.agda-lib                                 24-Jul-2006 01:21                  99
workflow.svg                                       24-Jul-2006 01:21              163206