glug/coq-classtests

coq type classes for abstract objects, and some day parser combinators

Verilog