diff src/expl.sml @ 1813:4c61bb7acb9b

Minor js optimizations. * flatten() now uses accumulator and join. * reuse regexps instead of allocating new each time
author Vladimir Shabanov <vshabanoff@gmail.com>
date Thu, 30 Aug 2012 17:58:37 +0400
parents b4480a56cab7
children 1aa9629e3a4c
line wrap: on
line diff