Merge branch 'main' of github.com:groupoid/anders

Author: 5HT

README.md

@@ -6,7 +6,7 @@
 
 <img src="https://tonpa.guru/stream/2019/img/Anders%20M%C3%B6rtberg.jpeg" width=600>
 
-Anders is a reincarnation of cubicaltt type checker in another basis.
+Here is presented a reincarnation of **cubicaltt** called **anders**.
 
 Setup
 -----