Merge Requests · curry

Remove Prelude qualifier from built-in types

curry-frontend!40 · opened Nov 20, 2020 by Finn Teegen
updated Nov 20, 2020
WIP: Generate newtypes correctly

kics2!5 · opened Oct 29, 2020 by Fredrik Wieczerkowski update-frontend
- 0
updated Oct 31, 2020
WIP: Update KiCS2 to compile with the new frontend

kics2!4 · opened Oct 21, 2020 by Fredrik Wieczerkowski
- 0
updated Oct 29, 2020
WIP: Update libraries for KiCS2

curry-libs!5 · opened Oct 20, 2020 by Fredrik Wieczerkowski
- 0
updated Dec 18, 2020
WIP: Improve handling of predicated function arguments

curry-frontend!23 · opened Feb 28, 2020 by Jan-Hendrik Matthes
- 0
updated Feb 28, 2020
WIP: Add support for the `ScopedTypeVariables` language extension

curry-frontend!19 · opened Dec 02, 2019 by Jan-Hendrik Matthes Feature
- 0
updated Dec 25, 2019
WIP: Add support for the `ScopedTypeVariables` language extension

curry-base!14 · opened Dec 02, 2019 by Jan-Hendrik Matthes Feature
- 0
updated Dec 02, 2019
Allow version pinning

kics2!1 · opened Mar 20, 2019 by Jan Path
- 0
updated Mar 20, 2019
Allow pinning of LIBDEPS package versions

curry-libs!4 · opened Mar 20, 2019 by Jan Path
- 0
updated Mar 20, 2019