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.
Collection of Dependently-typed stuff
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.
Collection of Dependently-typed stuff
MIT License