Mhh. Hardware description languages with dependent types. Anyone ever did it before? Is it a thing?
-
-
Replying to @andreasdotorg
gallais in Freenode irc ## dependent cited this: https://joaopizani.gitlab.io/piware/
1 reply 0 retweets 2 likes
Replying to @Symbo1ics
Closest to what I am looking for, thank you very much! (Now it needs to generate Verilog instead of VHDL, and it should make use of *some* form of automated proof search, like in F*, but yeah, it exists!)
12:49 PM - 11 Mar 2018
0 replies
0 retweets
1 like
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.