Changes between Version 20 and Version 21 of WikiStart


Ignore:
Timestamp:
Dec 27, 2012, 4:47:49 PM (11 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v20 v21  
    4949[[br]]
    5050
     51= Current Languages =
     52Click the headings to get to the proofs.[[br]]
     53
    5154== [http://code.ouroborus.net/iron/iron-head/done/Iron/Language/Simple/ Simple] ==
    5255Simply Typed Lambda Calculus (STLC).