Issues
- 0
Benchmark for expression evaluator
#8 opened by jkopanski - 0
Safe.Expr catamorphic evaluator
#5 opened by jkopanski - 1
Type for rtl values
#4 opened by jkopanski - 0
Module interpreter
#6 opened by jkopanski - 0
Newtype for Natural representing bit width.
#2 opened by jkopanski