search

unisonweb / unisonweb-org

Source for the unisonweb.org website
https://unisonweb.org
Other
40 stars 61 forks source link

More updates to "A tour of Unison" to reflect latest UCM output #251

Closed belucid closed 3 years ago

belucid commented 3 years ago

Most of these are more changes to reflect the current UCM output. Mostly around Proved. vs. Passed 1 tests., and around UCM making less use of absolute namespaces.

The update of square no longer adds in full namespaces, so I removed that comment explaining why UCM does that.

Lastly, foldl is actually named foldLeft, but the code explaining update at the end of the tour used foldl, causing a missing definition for anyone following along in the tour (earlier the tour does have the user rename foldLeft to foldl to explain term renaming, but the tour then has them undo this change).

netlify[bot] commented 3 years ago

👷 Deploy request for unisonweb-org pending review. Visit the deploys page to approve it

🔨 Explore the source changes: 35f191a22b68b697537c4bdee4acc4f22cedced3

pchiusano commented 3 years ago

Great, thanks!