| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refined: write down why this is so complicated before it leaves my brainrefinement-types | Stefan Majewsky | 2025-02-21 | 1 | -0/+115 |
| * | refined: demonstrate that Refined types are comparable, but not ordered | Stefan Majewsky | 2025-02-20 | 1 | -3/+14 |
| * | refined: shuffle names around | Stefan Majewsky | 2025-02-20 | 3 | -34/+34 |
| * | refined: reduce boilerplate, add Literal() constructor | Stefan Majewsky | 2025-02-20 | 3 | -23/+54 |
| * | refined: rename Refined -> Value | Stefan Majewsky | 2025-02-20 | 4 | -64/+76 |
| * | refined: basic idea | Stefan Majewsky | 2025-02-18 | 2 | -0/+117 |
