Changes related to "Category:Language extensions"
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.
16 July 2016
- (diff | hist) . . Generalised algebraic datatype; 00:10 . . (-29) . . Mirpa (Undo revision 60911 by Mirpa (talk))
15 July 2016
- (diff | hist) . . Generalised algebraic datatype; 23:59 . . (+29) . . Mirpa (→Motivating example: exists note)
9 July 2016
- (diff | hist) . . Implicit parameters; 14:19 . . (+47) . . Dsf
- (diff | hist) . . m Implicit parameters; 14:03 . . (-1) . . Dsf (Fix link to GHC doc)