Changes related to "Type variable"

Jump to: navigation, search

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.

Recent changes options
Legend (help):
N
This edit created a new page   
m
This is a minor edit
b
This edit was made by a bot
D
This edit was made at Wikidata
(±123)
Page size change in bytes
Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide minor edits | Show bots | Hide unregistered users | Hide registered users | Hide my edits | Show Wikidata

Show new changes starting from 10:08, 30 June 2015
   
Page name:

29 June 2015

  • (diff | hist) . . OCaml‎; 21:31 . . (+3). .38.88.187.170 (talk)(Fibonacci Sequence)
  • (diff | hist) . . Type theory‎; 08:16 . . (-1). .218.212.201.235 (talk)(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")

26 June 2015