Comment by qzzi 9 hours ago I clicked on 2 links on the main page in the Learn F* section... 1 comment qzzi Reply