quick_and_dirty := true;+− +− no_document use_thys+− ["Ex/Lambda",+− "Ex/ExLF",+− "Ex/Ex1",+− "Ex/Ex1rec",+− "Ex/Ex2",+− "Ex/Ex3",+− "Ex/ExLet",+ÃÃâââââ€Ãâââ€šÂ¬Ã‚¦Ãƒâ€šÃ‚¡ÃƒÆ’‚¬Ã…¡Ã‚¬Ã…¡Ãƒâ€šÃ‚¢ÃƒÆ’‹â€ Ã¢â‚¬â„¢ "Ex/ExLetRec",+− "Ex/TypeSchemes",+− "Ex/ExLeroy",+− "Ex/ExPS3",+− "Ex/ExPS7",+− "Ex/ExCoreHaskell",+− "Ex/Test"+− (* "Ex/ExPS6", *)+− ];+âÃâââ€Ãâ€ÂÃââ‚¬Å¡Ãƒâ€šÃ‚¦ÃƒÆ’ƒÆ’‚¡Ãƒâ€šÃ‚¬Ãƒâ€šÃ‚¹ÃƒÆ’¢â‚¬Â ÃƒÂ¢Ã¢â€šÂ¬Ã¢â€žÂ¢