Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
curry
curry-frontend
Repository
Branches
Overview
Active
Stale
All
master
default
c40e0e6d
·
Merge branch 'lts20.22' into 'master'
·
May 26, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
check-conflicting-imported-instances
5387aaf8
·
WIP: Check conflicting imported instances
·
May 26, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rkoehler-ma-real
838f769b
·
Solved problem with context equivalent making
·
May 16, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
move-frontend-modules
94aa51c7
·
Prefix frontend modules with Curry.Frontend
·
Apr 15, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mptc_current_pakcs
453279f6
·
Fix problems with cherry picked commits
·
Apr 09, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
rkoehler-ma
c2b5447d
·
Add a function for type matching in Instance Env
·
Dec 08, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ghc-9.2.4
18625eec
·
Add required extra-deps
·
Sep 03, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lts-18.27
86e05222
·
Upgrade to LTS 18.27
·
Mar 03, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
remove-unused-imports
2862d618
·
Remove unused imports from WarnCheck
·
Mar 03, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lkrueger-ma
aa2d3870
·
Handle some TODO comments
·
Nov 09, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
kics2
83f8cee3
·
Merge branch 'ghc-8.10' into kics2
·
Nov 09, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lkrueger-ma-fundeps
728ad0e8
·
Bring the `lkrueger-ma-fundeps` branch to the state it was at before merging...
·
Aug 24, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unqualified-builtin-types
751d17d3
·
Remove Prelude qualifier from built-in types
·
Nov 20, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-missing-prelude
5a43fc58
·
Load the modules with the Prelude
·
Nov 17, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
warncheck-gettycons-fix
ee42bb32
·
Add fallback for WarnCheck.getTyCons
·
Oct 20, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
typedecl-kinds
merged
752c19ac
·
Add fallback for WarnCheck.getTyCons
·
Oct 20, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
revert-higher-rank-polymorphism
merged
a69aec04
·
Merge branch 'master' into revert-higher-rank-polymorphism
·
Oct 20, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
split-case-warnings
merged
6bf8ba79
·
Split warnings for unreachable case branches
·
Jun 22, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
message-line-previews
merged
6299c849
·
Integrate message line previews from curry-base
·
Jun 09, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
message-spans
merged
c3d25138
·
Remove redundant imports
·
Jun 09, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next