Get Idris -> CLaSH conversion in a state to compile the dot-product
Get Idris -> CLaSH conversion in a state to compile the dot-product

christiaanb/Idris-dev,christiaanb/Idris-dev,christiaanb/Idris-dev,christiaanb/Idris-dev,christiaanb/Idris-dev