Index of /code.haskell.org/monadiccp/Control/CP/Herbrand/

../
Herbrand.hs                                        15-Feb-2019 14:52                5730
HerbrandT.hs                                       15-Feb-2019 14:52                1782
PrologTerm.hs                                      15-Feb-2019 14:52                1201