# path-sing

This library wraps the types in the [`path`](https://hackage.haskell.org/package/path) library with singleton types[^1][^2] to allow more well-typed handling of file and directory paths.

[^1]: https://hackage.haskell.org/package/singletons
[^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](https://github.com/ymdryo/path-sing/blob/master/CONTRIBUTING.md).