Опитвам се да напиша програма на Haskell за изчисляване на денотационната семантика на програма на императивен език с цели променливи, едномерни (целочислени) масиви и функции. Функцията, с която започвам, е от типа: progsem :: Prog ->...