#Perl: There is more than one way to do it. #Python: There should be one obvious way to do it. #Nix: There is no straightforward way to do it. #Haskell: There is no way to do it.
#programming
@abnv #Lean: there is no way to prove it
But really, all of the above, as we know, is a skill issue 😂
Just redefine "it" while maintaining compliance with requirements!
Mastodon server of https://doma.dev.