Comment on Idris - pure functional programming language with dependent typesparentComments−fhars14yThe set {1, 1, 1, 1} has only one element, 1.−skrebbel14yOh fuck. Bags and sets.I'm an idiot!And that only 3 years out of university :-(
Comments
The set {1, 1, 1, 1} has only one element, 1.
Oh fuck. Bags and sets.
I'm an idiot!
And that only 3 years out of university :-(