@peter.kehl So what that looks like is that you have the wrong module type set up. How did you create this project?

@peter.kehl Here’s how I imported core.typed (I just tried it now):

1. Make sure you’re using Cursive 1.8.0, which has deps support.

2. clone the core.typed repo.

3. File->New->Project from Existing Sources…

4. Select the core.typed directory from #2

5. Select “Import project from external model”, then Deps.

6. (probably) choose “Use auto-import” and then Finish, and you should have your project set up.