gistfile1.txt

~/software/mm-adt/vm/java bin/mmadt.sh
                                _____ _______
                           /\  |  __ |__   __|
 _ __ ___  _ __ ___ _____ /  \ | |  | | | |
| '_ ` _ \| '_ ` _ |_____/ /\ \| |  | | | |
| | | | | | | | | | |   / ____ \ |__| | | |
|_| |_| |_|_| |_| |_|  /_/    \_\____/  |_|
                                 mm-adt.org
mmlang> 1 => int
==>1
mmlang> 1 => int => [plus,4]
==>5
mmlang> int => [plus,4]
==>int <= [plus,4]
mmlang>

mmlang>  ['name':'marko','age':29] => ['name':str~a,'age':int~b]~c
==>['name':'marko'~a,'age':29~b]~c