../ Constrain/Change module prefixes for some values13 years ago Environment.hsFix bug in type application when converting SourceSyntax.Type to Type.Type13 years ago Fragment.hsMove the Environment.hs and Fragment.hs files down a directory.13 years ago Inference.hsRefactor type environment13 years ago Solve.hsMarginally better errors when a variable is undefined.13 years ago State.hsRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.13 years ago Type.hsAdd terse way to do type application13 years ago Unify.hsRemove some debugging stuff and generally clean up the code. There was one potential error in which a debug needed to be a liftIO, the computation it performed was not optional.13 years ago