#Problems with finite automata package
8 messages · Page 1 of 1 (latest)
Please describe your problem
i think it was them having a problem with using finite.layout and it not recognizing finite
i think whats happening here is that since you are importing everything, finite is already imported, so its looking for finite.finite.layout probably
import "pkg": * doesn't define the name pkg but only its content; in the concrete example that means that layout works, but finite.layout doesn't
(but I assumed that the original post was deleted because the problem was solved, so I didn't respond)
TIL