Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Manual grammar fixes (#11510) | Flying-Toast | 2022-09-01 | 1 | -1/+1 |
* | typo | Nicolas Rolland | 2022-01-29 | 1 | -1/+1 |
* | manual: Fix typo in GADT examples (#10581) | wiktorkuchta | 2021-08-27 | 1 | -2/+2 |
* | Split labels and polymorphic variants tutorials; move GADTs into tutorial (#1... | John Whitington | 2021-06-23 | 1 | -0/+304 |