If I define modules in Livebook, and then typespec types, functions, etc. inside the module, is there some way to run Dialyzer so as to verify the typespecs?
I am able to run
ExUnit inside Livebook and am looking for a similar way for typespecs so as to get feedback on the types. This will be very useful for type-driven development inside a Livebook notebook.
And I suppose a follow-up question would be regarding running Credo on the notebook’s modules as well.
Thank you for any help!