{"nibbles_version":"0.21","commenter_version":"0.1.2.181","code":{"lit":"-","desc":"subtract","type":"int","childs":[{"lit":"`/","desc":"special folds","type":"int","childs":[{"lit":".","desc":"map","type":"[int]","childs":[{"lit":",","desc":"range from 1","type":"[int]","childs":[{"lit":"+","desc":"sum","type":"int","childs":[{"lit":"_","desc":"= ints","type":"[int]"}]}]},{"lit":"*","desc":"multiply","type":"int","args":[{"desc":"A","type":"int"}],"childs":[{"lit":"]","desc":"max","type":"int","childs":[{"lit":"-","desc":"subtract","type":"int","childs":[{"lit":"/","desc":"divide","type":"int","childs":[{"lit":"+","desc":"add","type":"int","childs":[{"lit":"@","desc":"= fstInt","type":"int"},{"lit":"~","desc":"auto = 1","type":"auto"}]},{"lit":"~","desc":"auto = 2","type":"auto"}]},{"lit":"$","desc":"= A","type":"int"}]},{"lit":"+","desc":"add","type":"int","childs":[{"lit":"/","desc":"divide","type":"int","childs":[{"lit":"-","desc":"subtract","type":"int","childs":[{"lit":";@","desc":"= sndInt","type":"int"},{"lit":"~","desc":"auto = 1","type":"auto"}]},{"lit":"$","desc":"= A","type":"int"}]},{"lit":"3","desc":"integer","type":"int"}]}]},{"lit":"+","desc":"add","type":"int","childs":[{"lit":"2","desc":"integer","type":"int"},{"lit":"$","desc":"= A","type":"int"}]}]}]},{"lit":"[","desc":"foldop: min","type":"null"}]},{"lit":"+","desc":"sum","type":"int","childs":[{"lit":"_","desc":"= ints","type":"[int]"}]}]}}