Tiago Cogumbreiro

Thank you @Drumor and @anthonygego for the prompt replies. @Drumor , it's good to know that this feature is being considered. I currently have two use cases for human reviewed...

Thank you @Bost! I appreciate your nice comments and recommendation.

By the way, the linked version is of last year. This year I'm also using Racket: https://cogumbreiro.github.io/teaching/cs450/s21/ The videos on the youtube channel are regarding the session running in the...

> Renaming one of the 2 `a` variables to something else also solves this issue, and allows it to run without the `a: undefined; cannot use before initialization` error. Ah,...

> It's just that circular definitions require type annotations to break dependencies. Can you please clarify why any of these examples are "circular"? I am not really sure I understand...

My main concern is that CPM can be made easier to understand. I think CPM's landing page should explain its **workflow** and not a detailed example. My inspiration comes from...

Thanks for the help! The advanced targets section could be improved (I'm happy to offer a pull-request if you welcome contributions). ## Table 6 is a bit confusing to me...

Again, @gasche, I am happy to submit patches for either problem. And very importantly, let me also thank you for the wonderful work you've put in the tool and in...

Closing this issue, as z3 now builds fine in the current build! ``` "Dune Developer Preview: build 2025-05-11T02:42:32Z, git revision aaa7e952cd67aebc33d3d9472c193ca53fbae120" ```

I was trying to reproduce the success above, but it turns out that I had missed the `dune pkg lock` command and `dune b` was just picking up the global...