Index of /code.haskell.org/Agda/examples/SummerSchool07/Solutions/

../
Problem1.agda                                      15-Feb-2019 15:22                 925
Problem2.agda                                      15-Feb-2019 15:22                 671
Problem3.agda                                      15-Feb-2019 15:22                 798
Problem4.agda                                      15-Feb-2019 15:22                3576