Changes related to "Abbreviations"
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.
4 April 2015
- (diff | hist) . . m GHC/Type families; 11:12 . . (-6) . . Shahn (→Injectivity, type inference, and ambiguity: formatting)