Problems with bil.ott #11
Description
When I use the command "ott -i bil.ott -o bil.v", I get the message "meta or sugar production must have a hom for each target - here "coq" is missing" I'm probably missing something obvious.
{{ message }}
When I use the command "ott -i bil.ott -o bil.v", I get the message "meta or sugar production must have a hom for each target - here "coq" is missing" I'm probably missing something obvious.