Index of /code.haskell.org/Agda/examples/AIM6/HelloAgda/

../
Basics.agda                                        15-Feb-2019 15:22                2007
Bool.agda                                          15-Feb-2019 15:22                 176
Datatypes.agda                                     15-Feb-2019 15:22                2004
Everything.agda                                    15-Feb-2019 15:22                 142
Families.agda                                      15-Feb-2019 15:22                2634
Modules.agda                                       15-Feb-2019 15:22                4268
Naturals.agda                                      15-Feb-2019 15:22                 325
Records.agda                                       15-Feb-2019 15:22                2672
With.agda                                          15-Feb-2019 15:22                1698
outline                                            15-Feb-2019 15:22                 377