on 4c51159 help sign in
1 folder, 6 files
../ Constrain/Start adding constraint generation for declarations. Environment.hsAdd pretty printing for type constraints. Fragment.hsMove the Environment.hs and Fragment.hs files down a directory. Pool.hsCreate a Type.Pool module specifically for variable pools. Start using a state transformer to thread the pool and errors through. Solve.hsMove the Environment.hs and Fragment.hs files down a directory. Type.hsAdd pretty printing for type constraints. Unify.hsCreate a Type.Pool module specifically for variable pools. Start using a state transformer to thread the pool and errors through.