3 ms·
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.
by DanWaterworth 14y ago
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.