Typing environment: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 09:5709:57, 30 November 2022 GhostInTheMachine talk contribs 1,065 bytes −271 Reverting edit(s) by Zameersaein (talk) to rev. 1113316086 by Lexi.lambda: non-constructive (RW 16.1) undo Tags: RW Undo
curprev 06:3306:33, 30 November 2022 Zameersaein talk contribs 1,336 bytes +271 #suggestededit-add 1.0 undo Tags: Reverted Mobile edit Mobile app edit Android app edit

curprev 21:5721:57, 30 September 2022 Lexi.lambda talk contribs m 1,065 bytes 0 No edit summary undo
curprev 21:5221:52, 30 September 2022 Lexi.lambda talk contribs 1,065 bytes +2 Prefer “typing rules” over “type rules” undo

curprev 00:3500:35, 26 July 2013 Christian75 talk contribs 702 bytes −11 in <math> without \left< and \right> which gives an error with png output undo

curprev 06:0206:02, 10 February 2012 173.25.242.160 talk 611 bytes +1 Fixed a typo on the page. Changed 'this' to 'these' undo

curprev 15:4515:45, 31 January 2012 OriumX talk contribs 610 bytes +610 ←Created page with 'In type theory a '''typing environment''' represents the association between variables names and data types. More formally an environment <math>\Gamma</m...'