Tesla Zhang‮

This is totally okay! How would I publish a docker container and how can I turn a bunch of CLI commands to install Aya into a docker container?

> I've built and pushed example image like this: But does it work? If it works I can put this on the website

Yes, I believe so :)

This can be solved by adding a new phase in library import resolving.

> Do you mean import modules recursively in a library or import a file in `SingleAyaFile`? The former

> Any stacktrace would be helpful I'll provide some later

```diff diff --git a/base/src/test/resources/success/nonsense/src/Nonsense/A.aya b/base/src/test/resources/success/nonsense/src/Nonsense/A.aya new file mode 100644 index 000000000..44692bed3 --- /dev/null +++ b/base/src/test/resources/success/nonsense/src/Nonsense/A.aya @@ -0,0 +1 @@ +import Nonsense::B \ No newline at end of file diff --git...

Then, load `nonsense/src/Nonsense/A.aya` or `nonsense/src/Nonsense/B.aya`

@imkiva You just have to generate `fsuc a` instead of `suc a`, but this has to be a _concrete_ syntax.

lmao yeah