search

jonsterling / coq-domains

http://www.jonmsterling.com/coq-domains/toc.html
18 stars 1 forks source link

Stupid elpi warnings #10

Open jonsterling opened 3 years ago

jonsterling commented 3 years ago

HierarchyBuilder causes a lot of noisy elpi-related warnings. I wonder if we can (or should) silence these...