User:Myriads hocl

HOCL: a higher-order chemical language

HOCL is a programming language based on the previous model extended with expressions, types, pairs, empty solutions and naming. Expressions consist in integer, boolean, string constants and associated operations. This extension, already used in the previous section, is very standard and does not need further explanation. We also reuse the notation replace : : : by : : : if : : : for n-shot (recursive) reaction rules. We present each other extension in turn.