Tupling Transformation
雖然昨天的兩篇 MSS 主要都是做 tupling transformation,但我還是看不懂 AoP 給的一個推廣。AoP exercise 3.4 說的是
形式長得還挺像的,可能再湊一湊吧。
--
先睡嘍。
Labels: Program Derivation
Let's see how far we can go.
雖然昨天的兩篇 MSS 主要都是做 tupling transformation,但我還是看不懂 AoP 給的一個推廣。AoP exercise 3.4 說的是
形式長得還挺像的,可能再湊一湊吧。
--
先睡嘍。
Labels: Program Derivation
<< 回到主頁