../ Core/New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.13 years ago IRTS/Merge pull request #322 from raichoo/javascript13 years ago Idris/New size change graph builder Looks at patterns, rather than case tree, and therefore finds it easier to spot structurally smaller arguments which are more complex.13 years ago Pkg/squash potential space leaks by using strict foldl14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Add the RTLD_GLOBAL option to dlopen13 years ago Main.hsdocument ideslave option13 years ago