Index of /code.haskell.org/Agda/src/prototyping/term/examples/

../
Basic.agda                                         15-Feb-2019 15:21                1019
Data.agda                                          15-Feb-2019 15:21                1745
Ids.agda                                           15-Feb-2019 15:21                 258
Language.agda                                      15-Feb-2019 15:21                6857
Nat.agda                                           15-Feb-2019 15:21                 385
Nested.agda                                        15-Feb-2019 15:21                1969
Prelude.agda                                       15-Feb-2019 15:21                 220
Record.agda                                        15-Feb-2019 15:21                1650