Very interesting. Also not the first of its kind. BlueSpec[0] is a RTL hardware design language in Haskell.<p>I am confused because this, on the other hand, doesn't appear to be sponsored by a company or university. It strikes me as pretty odd that an individual could do this on his/her own.<p>[0] <a href="http://www.bluespec.com/" rel="nofollow">http://www.bluespec.com/</a>