../ expectedChange guardedness check for new-style coinduction13 years ago reg018a.idrLook through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #18313 years ago reg018b.idrWhitespace cleanup.13 years ago reg018c.idrRemove | annotation, make Force/Delay implicit13 years ago reg018d.idrSwapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc13 years ago runReset test runscripts to mode 075513 years ago