Reed Mullanix

icon indicating a website link reedmullanix.com icon indicating an email [email protected]

icon company McMaster University icon location Hamilton, ON icon location An object in an Elegant Reedy Category.

Results 82 issues of Reed Mullanix

Locally Graded Categories

2 comment

This PR adds a definition of [locally graded categories](https://ncatlab.org/nlab/show/locally%20graded%20category) which are probably the "correct" notion of displayed category in E-category theory. They avoid the normal transport hell that comes with...

`System.FilePath.Posix` treats filenames with leading `.`s as extensions

6 comment

Right now `System.FilePath.Posix.splitExtension` will treat any leading `.` in a path as an extension. This leads to some odd behaviour: ```haskell import System.FilePath.Posix splitExtension "myrepo/.git" -- returns ("myrepo/", ".git") splitExtension...