From add49f1df854ed333252b494d1899c8c899991dd Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Thu, 10 Mar 2022 21:10:34 +0900
Subject: v0.8.1-1

---
 Changelog.md | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)

(limited to 'Changelog.md')

diff --git a/Changelog.md b/Changelog.md
index 5232bca..cf224fe 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,5 +1,49 @@
 # Change log
 
+
+### v0.8.1-1 minor update (released on 10 March 2022)
+#### Polished
+
+* **The abbreviation**: it can take an empty arguments list on its left-hand side like:
+
+  ```
+  << Agent(paramlist,param)    // this is an abbreviation for Agent(paramlist)~param
+  ```
+
+  This could be handy for elimination operation:
+
+  ```
+  Eps >< Z =>;
+  Eps >< S(x) => Eps~x;
+  
+  // Nets
+  Eps ~ S(Z);
+  
+  // Abbreviated notation of the nets
+  << Eps(S(Z));
+  ```
+
+* **Makefile**: The configuration file `src/config.h` is also included in update files. So, `make` command works when the file is changed.
+
+* **Rule table**: A simple implementation with arrays is prepared. It could be expected to work better, but it seems not so differences. It becomes available by making the following definition un-comment in `src/config.h`:
+
+  ```
+  // ------------------------------------------------
+  // RuleTable
+  // ------------------------------------------------
+  // There are two implementation for the rule table:
+  //   * Hashed linear table (default)
+  //   * Simple array table
+  // To use the hashed one, comment out the following RULETABLE_SIMPLE definition.
+  
+  //#define RULETABLE_SIMPLE
+  ```
+
+  
+
+  
+
+
 ### v0.8.1 (released on 3 March 2022)
 
 |              | Haskell  |   SML    | Python | Inpla1 | Inpla1_r | Inpla7 | Inpla7_r |
-- 
cgit v1.2.3