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 , Thesis, Trinity College, 1990].