Properties: fixes an informal rule in the text for β-ƛ by using a reduction relation instead of the typing judgment
Properties: fixes an informal rule in the text for β-ƛ by using a reduction relation instead of the typing judgment

wenkokke/sf,wenkokke/sf