Changes related to "Basic Examples of the Type Class Mechanism in Ur/Web"
From Impredicative Wiki
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Pages on your watchlist are bold.
No changes on linked pages during the given period.