message no. 176438
Posted by cousteau in #github at 2020-01-15T19:41:22Z
wonders why didn't they name the files .coq ... then again Verilog hadn't been around that long when Coq was invented, and probably nobody expected a case where both would be used simultaneously