Instead of simply getting an evaluation from the compiler (in the Toplevel), what would be the simplest way (for a better understanding) to see how the evaluation is done ?
And how to get a usable “typed answer” from the compiler, instead of some lines of text ? (Valid sig or error message)
I simply know where are located the compiler key components, but I have no experience with them and would like to have a soft landing.