mflatt/plai-typed — pull request #3 by jbclements (2014-02-21 23:05:44+00:00)
Title: added string-length and substring

I was pretty much done adding them anyway, including docs and tests, so here's the pull request.