dysfun@treehouse.systems ("gaytabase") wrote:
okay i am smiling now. i wrote a little test to see if it could infer membership from the flexible records (so you can refer to a column) and it just worked. kinda felt a bit magic actually. you just write
table~>"field"and it supplies a proof that the field is in the table 😀