Index of /src/voile-0.2.6/samples/dependent-type/

../
id-flip.out                                        23-Oct-2019 06:51                 298
id-flip.voile                                      15-Sep-2019 06:36                 333
id-id-id.out                                       23-Oct-2019 06:51                 169
id-id-id.voile                                     23-Oct-2019 06:26                 304
pairs.out                                          23-Oct-2019 06:51                 112
pairs.voile                                        07-Jun-2019 17:28                 222
recursion.out                                      23-Oct-2019 06:51                 161
recursion.voile                                    07-Jun-2019 17:28                 563
sums.out                                           23-Oct-2019 06:51                 140
sums.voile                                         20-Aug-2019 18:52                 252