whatsakandr
Joined 5 years ago
Karma
168
Submissions
78
Member since
Apr 14
Joined 5 years ago
Also, letters avoid having to name them, naming being a hard problem and all.
I'm not convinced that tying the lifetimes into the type system is the correct way to do memory management. I've read too many articles of people being forced into refactoring the entire codebase to implement a feature.
Which got it's name from 'Not Coq'