*Homepage:* http://foothill.lcs.mit.edu/~arvind/ * Hardware synthesis via term rewriting ------ Transform.CategoryPeople