Reed Mullanix
Reed Mullanix
@gabriellisboaconegero and I have had some offline discussions about using a homomorphism-based definition that seems to be the One True Way. The idea is that we can define a setoidal...
Yeah, it is unfortunate that POSIX leaves so much room for interpretation. That being said, I did a quick survey of other filepath libraries, and every one I checked has...
One reasonable path forward would be to identify all of the problematic functions, add versions of them that treat files with a leading `.` as filenames instead of extensions, and...