Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-frontend
Repository
Branches
Overview
Active
Stale
All
lkrueger-ma
70b0aa5d
·
Report instance overlap only once in the instance and type check...
·
Jul 26, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
3c1a6d97
·
Merge branch 'cherry-pick-
0d8ced37
' into 'master'
·
Jul 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
afcy-extension
38b62fcf
·
Use .afcy for type-annotated FlatCurry files
·
Feb 04, 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
for-language-server
9dcf4624
·
Update cabal.project to point to more recent curry-base
·
Apr 04, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
library-target
09641a91
·
Un-expose paths module in library target
·
Mar 28, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cleanup-cabal-file
d5911aa7
·
Clean up the .cabal file
·
Mar 22, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-pred-func-args
8af3bfcc
·
Improve handling of predicated function arguments
·
Feb 28, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
scoped-type-variables
49e05a32
·
Improve scoping of type variables
·
Dec 25, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release/1.0.4
410d124c
·
Fix SpanInfo of renamed TypeVars
·
Dec 12, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
binary
5b93c22f
·
Add option to also create binary output files
·
Oct 19, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
inversion
651d3cb1
·
Add compiler option for linear pattern desugaring
·
Aug 12, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
release-builds
merged
ea5b521e
·
debian/*: Bump DEB pkg version to 2:1.0.3-0 and sync-in recent changes from...
·
Jan 31, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next