lambda1-hdl

lambda1-hdl

EDSL based on the Simply-Typed Lambda Calculus, disallowing higher-order terms and targeted towards hardware description.