Index of /code.haskell.org/Agda/examples/AIM4/bag/


../
Bag.agda                                           15-Feb-2019 15:22                9503
Datoid.agda                                        15-Feb-2019 15:22                1301
Eq.agda                                            15-Feb-2019 15:22                 571
Equiv.agda                                         15-Feb-2019 15:22                4300
List.agda                                          15-Feb-2019 15:22                2934
Nat.agda                                           15-Feb-2019 15:22                1455
ParserC.agda                                       15-Feb-2019 15:22                2602
Pos.agda                                           15-Feb-2019 15:22                1044
Prelude.agda                                       15-Feb-2019 15:22                2248