12 May
2006
12 May
'06
1:36 p.m.
Hello Johannes, Friday, May 12, 2006, 4:18:29 PM, you wrote:
=> Partial p i b | p i -> b where ... -- (*)
(*) A funny visual aspect of FDs is the absurd syntax. On the left of "|", the whitespace is (type arg) application, but on the right, it suddenly denotes sequencing (tupling)
i also don't like this - it's really confusing. "p,i->b" will be better approach -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com