The syntax of basic \(\lambda\)-calculus is quite sparse, ... that have grouping symbols (the left and right parenthesis, in our case), ...
確定! 回上一頁