Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move modules Permutation and Types | Mikolaj Konarski | 16 hours |
* | Generalize some shape conversion functions | Mikolaj Konarski | 26 hours |
* | Revert "Remove the KnownNat constraint from (:5509)" | Tom Smeding | 27 hours |
* | Shape/index function rename | Tom Smeding | 28 hours |
* | default-show-instances flag | Tom Smeding | 28 hours |
* | Remove the KnownNat constraint from (:5509) | Mikolaj Konarski | 28 hours |
* | Split and uniformly rename Shape modules | Mikolaj Konarski | 3 days |