[DanWaterworth]

I've also been working on a HDL DSL. I've been using Idris; the type of a circuit ensures that it implements the correct behaviour.