Merge requests · curry / curry-frontend · GitLab

Implement warning for shadowed imported names (-Wimport-name-shadowing) 3 of 3 checklist items completed

!54 · created Mar 03, 2022 by Fredrik Wieczerkowski
Enhancement Feature
- Merged
- 1
- Approved
updated Nov 22, 2022
Add NoDataDeriving language extension

!55 · created Jun 17, 2022 by Fredrik Wieczerkowski
Enhancement Feature
- Merged
updated Jul 08, 2022
Add support for higher-rank polymorphism 13 of 13 checklist items completed

!14 · created May 19, 2019 by Jan-Hendrik Matthes
Feature
- Merged
- 2
updated Jul 13, 2020
Add support for the `ExplicitForAll` language extension

!17 · created Nov 19, 2019 by Jan-Hendrik Matthes
Feature
- Merged
- 2
updated Nov 19, 2019
Add support for dark mode in the HTML output

!15 · created Oct 30, 2019 by Jan-Hendrik Matthes
Feature
- Merged
- 1
updated Nov 01, 2019
Add SpanInfos to AST

!8 · created Nov 02, 2018 by Kai Prott
Feature
- Merged
updated Nov 13, 2018