Description
A singleton wrapper for the path library.
Description
This library wraps the types in the path library with singleton types to allow more well-typed handling of file and directory paths.
README.md
path-sing
This library wraps the types in the path library with singleton types[^1][^2] to allow more well-typed handling of file and directory paths.
[^2]: Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf)
Your contributions are welcome!
Please see CONTRIBUTING.md.