Merge requests · curry / curry-frontend

WIP: Add MultiParamTypeClasses, , Flexible Contexts, Flexible Instances

!71 · created Aug 10, 2023 by Kai Prott
Feature
- Closed
- 1
updated Oct 08, 2024
Remove some unused imports

!50 · created Mar 01, 2022 by Fredrik Wieczerkowski
Refactoring
- Closed
- 1
updated Nov 22, 2022
Upgrade Stackage snapshot to LTS 18.27

!53 · created Mar 03, 2022 by Fredrik Wieczerkowski
- Closed
- 1
updated Jul 13, 2022
Clean up the .cabal file

!24 · created Mar 22, 2020 by Jan-Hendrik Matthes
Enhancement
- Closed
- 1
updated Oct 23, 2020
Add library target and specify Git-dependency on curry-base

!25 · created Mar 27, 2020 by Fredrik Wieczerkowski
Enhancement
- Closed
- 1
updated Oct 23, 2020
Fix: Add unqualified type constructor lookup as fallback in WarnCheck

!33 · created Oct 20, 2020 by Fredrik Wieczerkowski
- Closed
- 1
updated Oct 21, 2020
Explicitly quantify free type variables of type signatures in FlatCurry

!18 · created Nov 21, 2019 by Jan-Hendrik Matthes
Enhancement
- Closed
- 2
updated Jan 31, 2020
WIP: Warn for redundant context

!7 · created Jul 11, 2018 by Kai Prott
- Closed
- 1
updated Mar 20, 2019
Typed flat curry

!5 · created Jul 03, 2018 by Kai Prott
- Closed
updated Jul 11, 2018
Existentials

!1 · created Apr 15, 2016 by Finn Teegen
- Closed
- 1
updated Oct 18, 2017
Case mode

!4 · created May 21, 2017 by Kai Prott
- Closed
updated Jun 01, 2017