A functional, polymorphichardware description language loosely based on ML by Lucca Cardelli. ["An Algebraic Approach to Hardware Description and Verification", L. Cardelli, Thesis, Edinburgh U, 1982]. ["sticks&stones II: A Functional Language VLsI Layout Generation Tool", Andrew Butterfield s.tcd.ie>, Thesis, Trinity College, 1990].