Merge branch 'hotfix/0.3.1-RC2'

CHANGELOG.md

@@ -3,7 +3,7 @@ All notable changes to this project will be documented in this file.
 
 ## [Unreleased]
 
-## [0.3.1-RC1] - 2019-05-7
+## [0.3.1-RC2] - 2019-05-7
 ### Changed
 - EEC is renamed to Mesa
 
@@ -98,8 +98,8 @@ All notable changes to this project will be documented in this file.
   - Source files use `.hs` suffix at present to benefit from syntax highlighting.
   - Refer to [eec/src/main/antlr4/EEC.g4](eec/src/main/antlr4/EEC.g4) for a context free grammar.
 
-[Unreleased]: https://github.com/bishabosha/EEC/compare/0.3.1-RC1...develop
-[0.3.1-RC1]: https://github.com/bishabosha/EEC/releases/tag/0.3.1-RC1
+[Unreleased]: https://github.com/bishabosha/EEC/compare/0.3.1-RC2...develop
+[0.3.1-RC2]: https://github.com/bishabosha/EEC/releases/tag/0.3.1-RC2
 [0.3.0-RC1]: https://github.com/bishabosha/EEC/releases/tag/0.3.0-RC1
 [0.2.3-RC1]: https://github.com/bishabosha/EEC/releases/tag/0.2.3-RC1
 [0.2.2-RC1]: https://github.com/bishabosha/EEC/releases/tag/0.2.2-RC1

README.md

@@ -1,4 +1,4 @@
-# EEC
+# Mesa
 
 ### Current Release
 0.3.0-RC1
@@ -11,9 +11,9 @@ This repository is for implementing a programming language based on the enriched
 
 ## Features
 * Read Eval Print Loop
-  - Define `EEC+` terms and typecheck them.
-  - Print the parsed AST for `EEC+` terms and source files.
-  - Print the derived types of `EEC+` terms and source files.
+  - Define Mesa terms and type-check them.
+  - Print the meta AST for Mesa terms and source files.
+  - Print the derived types of Mesa terms and source files.
   - Print the current environment of terms and types.
 
 * Linear types that enforce the *linear usage of effects*.