welltyped

Collection of Dependently-typed stuff

⚠️WARNING: This library is not for production, I've used sort of unstable tricks.

⚠️WARNING: This library in currently on construction, it will take some time to be ready.

Documentation is WIP