Report copyright - Behavioral Equivalence - Cornell University · let rec forever x = forever let one x = 1 If we didn't require functions to be total, we would conclude one (forever ()) -> 1{forever()/x}
Please pass captcha verification before submit form