Changes related to "Category:Type systems"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
5 February 2016
4 February 2016
2 February 2016
- (diff | hist) . . Hindley–Milner type system; 01:36 . . (+50) . . 126.96.36.199 (→Polytype: Made a little clearer this explanation.)