Index of /code.haskell.org/hopes/src/checker/

../
Restrict.hs                                        15-Feb-2019 12:49                5764
Tc.hs                                              15-Feb-2019 12:49                4834
TypeCheck.hs                                       15-Feb-2019 12:49                6688
WellForm.hs                                        15-Feb-2019 12:49                2748