Mhh. Hardware description languages with dependent types. Anyone ever did it before? Is it a thing?
-
-
Really interested to see what you find, I guess you already saw Tom Hawkins stuff? Back in the day I played with his confluence thing (a scheme-ish HDL) and I see he also did something called HDCaml. Really seemed like a promising path back then..
-
No, I didn't. Will check it out!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.