'Coq (French for rooster, yes, the authors knew what they we doing when they named it that) is a theorem proving assistant'. Yeah, nice to know that particular bullshit is also in the FP community. And by nice, I mean it is pretty fucked.
'Coq (French for rooster, yes, the authors knew what they we doing when they named it that) is a theorem proving assistant'. Yeah, nice to know that particular bullshit is also in the FP community. And by nice, I mean it is pretty fucked.