# MIT License, Copyright (c) 2022 Marvin Borner zero [[0]] zero? [0 [[[0]]] [[1]]] dec [[[2 [[0 (1 3)]] [1] [0]]]] --‣ dec inc [[[1 (2 1 0)]]] ++‣ inc add [[[[3 1 (2 1 0)]]]] …+… add mul [[[2 (1 0)]]] …⋅… mul exp [[0 1]] …^… exp