Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | default-show-instances flag | Tom Smeding | 30 hours |
| | |||
* | Remove the KnownNat constraint from (:5509) | Mikolaj Konarski | 30 hours |
| | |||
* | Move casts to DAN.Convert; split Ranked/Shaped types into .Base | Tom Smeding | 41 hours |
| | |||
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 3 days |