skrebbel on Idris - pure functional programming language with dependent types · Hackerly

Comment on Idris - pure functional programming language with dependent types parent

Oh fuck. Bags and sets.

I'm an idiot!

And that only 3 years out of university :-(