Changes related to "Type variable"
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.
29 June 2015
- (diff | hist) . . OCaml; 21:31 . . (+3) . . 184.108.40.206 (→Fibonacci Sequence)
- (diff | hist) . . Type theory; 08:16 . . (-1) . . 220.127.116.11 (→Equality types (or "identity types"): Fixed apparent typo; changed "In intuitionistic type theory, the dependent type is known as" to "In intuitionistic type theory, the equality type is known as")