GitHub repository: melt-umn/ableC-unification
Primary language: SystemVerilog
Created: 2018-11-03T21:37:53Z
Description: An ableC extension introducing unification on algebraic data types