Report - CLasH: From Haskell to Hardwareof Haskell never set out to create a dependently typed language, the fixed-size vector specification suffers slightly from limits imposed by the typing

Please pass captcha verification before submit form