You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So a friend of mine started reading trough the book, and when he got to the getting-started section - which told him to use the logShow function - he was really confused because he got an error (caused by the fact logShow wasn't imported).
So that section already explains importing Math and Prelude so I think we should add another note on importing the logShow function.
Activity
milesfrain commentedon May 14, 2020
In the previous section, it instructs users to start with this:
But I agree that this is not the most straightforward presentation. I'd like to overhaul this chapter as described in #93.
milesfrain commentedon May 19, 2020
#144 should improve this getting-started experience.