Skip to content
GitLab
Explore
Sign in
Register
curry
curry-frontend
Repository
Branches
Overview
Active
Stale
All
master
default
59272747
·
Merge branch 'kics2_mem' into 'master'
·
Apr 11, 2024
line-pragmas
8b88c0c5
·
Add PragmaLine to lexer
·
Feb 15, 2024
det_sigs
b514a81c
·
Fix some tests
·
Oct 19, 2023
dt_backup
f5647f2c
·
Fix test suite
·
Oct 11, 2023
rkoehler-ma-real
f14fa612
·
Apply global type substitution before defaulting TypeConstrained
·
Aug 22, 2023
!71
check-conflicting-imported-instances
5387aaf8
·
WIP: Check conflicting imported instances
·
May 26, 2023
move-frontend-modules
94aa51c7
·
Prefix frontend modules with Curry.Frontend
·
Apr 15, 2023
!63
mptc_current_pakcs
453279f6
·
Fix problems with cherry picked commits
·
Apr 09, 2023
rkoehler-ma
c2b5447d
·
Add a function for type matching in Instance Env
·
Dec 08, 2022
ghc-9.2.4
18625eec
·
Add required extra-deps
·
Sep 03, 2022
lts-18.27
86e05222
·
Upgrade to LTS 18.27
·
Mar 03, 2022
remove-unused-imports
2862d618
·
Remove unused imports from WarnCheck
·
Mar 03, 2022
lkrueger-ma
aa2d3870
·
Handle some TODO comments
·
Nov 09, 2021
kics2
83f8cee3
·
Merge branch 'ghc-8.10' into kics2
·
Nov 09, 2021
lkrueger-ma-fundeps
728ad0e8
·
Bring the `lkrueger-ma-fundeps` branch to the state it was at before merging...
·
Aug 24, 2021
unqualified-builtin-types
751d17d3
·
Remove Prelude qualifier from built-in types
·
Nov 20, 2020
!40
fix-missing-prelude
5a43fc58
·
Load the modules with the Prelude
·
Nov 17, 2020
warncheck-gettycons-fix
ee42bb32
·
Add fallback for WarnCheck.getTyCons
·
Oct 20, 2020
typedecl-kinds
752c19ac
·
Add fallback for WarnCheck.getTyCons
·
Oct 20, 2020
!32
revert-higher-rank-polymorphism
a69aec04
·
Merge branch 'master' into revert-higher-rank-polymorphism
·
Oct 20, 2020
!31
Prev
1
2
Next