Index of /code.haskell.org/Agda/notes/design/

../
fixities                                           15-Feb-2019 15:20                4934
meeting_050901                                     15-Feb-2019 15:20                1185
meeting_050902                                     15-Feb-2019 15:20                1069
meeting_050905                                     15-Feb-2019 15:20                2382
meeting_050906                                     15-Feb-2019 15:20                3613
meeting_050907                                     15-Feb-2019 15:20                6172
mutual                                             15-Feb-2019 15:20                 937
report                                             15-Feb-2019 15:20                4922