Changes between Version 1 and Version 2 of BS2


Ignore:
Timestamp:
Mar 29, 2018, 10:55:18 AM (2 years ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • BS2

    v1 v2  
    33== Equality ==
    44
    5 == Equivalency ==
    6 
    75== Equational Reasoning ==
    8 * Substituting Equal for Equal
     6* Substituting of Equal for Equal
    97
    108== Application of Reduction Rules ==
    119
    1210
    13 ==Universal Interpreter==
     11== Universal Interpreter ==
     12
     13== Equivalency ==
     14
     15== Traits ==
     16
     17== Substituting of Equivalent for Equivalent ==
     18
     19== Unapplicable ==
     20
     21== Type Errors ==
     22
     23== Abstraction Boundaries ==
     24
     25== Interfaces ==
     26