Sticks&stones

A functional, polymorphic hardware description language loosely based on ML by Lucca Cardelli.