Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Missing Pervasive module in chapter 20 #4954
Original bug ID: 4954
Chapter 20 (standard library) does not link to the Pervasive module description,
"(See the description of the standard library module Pervasive in chapter 20 for more details)".
Pervasive module description should be added in chapter 20.