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
Active branches
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
Stale branches
0.2-stable
dadf040b
·
.gitignore added
·
Jul 02, 2012
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
0.3-stable
merged
9c47b956
·
Update Changelog
·
Oct 21, 2014
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
UnusedImportsWarn
a4064ccd
·
Generate warnings for unused imports, fixes 298
·
Feb 01, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/0.4.x
3551c7ea
·
Fix compatibility with GHC 8.4
·
Jul 05, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
TypedFlatCurry
0cb3fbe2
·
Fix typo
·
Jul 06, 2018
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar