Li-Fan Chen => YSITD: 先定一個函數 R(s,a,v) = s[a:=v] #5c73dc58294e0609d44cfdd1

Li-Fan Chen says to YSITD

先定一個函數 R(s,a,v) = s[a:=v]

at Mon, Feb 25, 2019 8:15 PM