Skip to content
GitLab
Explore
Sign in
Register
curry
curry-libs
Repository
Branches
Overview
Active
Stale
All
newConstraints
bbdf3b20
·
Merge remote-tracking branch 'origin' into newConstraints
·
Jul 21, 2014
bho/kics2
fc7c02b2
·
Remove some parallel strategies
·
Aug 11, 2014
constraints
dad4d07d
·
Adapted Makefile for global installation of CLPFD2 library
·
Mar 27, 2015
TypedFlatCurry
74292d58
·
Add Target Option for type-annotated FC (former Typed FC)
·
Jul 03, 2018
!1
release/1.x
3dcb0c91
·
Specification of sort operations improved
·
Oct 09, 2018
libs_refactor
0bc804f5
·
Merge branch 'master' into libs_refactor
·
Oct 24, 2018
split_prelude
36dcb72a
·
Reduce Base a little
·
Dec 24, 2018
inversion
d8a702f4
·
Add FunctionInversion to Prelude
·
Aug 10, 2019
data-class
a9788355
·
Add 'Data' typeclass to Prelude
·
Oct 28, 2019
kics2_fix
4bde107e
·
Fix Prelude for KICS2
·
Feb 13, 2020
pakcs2
2371e8a8
·
Fix functional pattern unification w.r.t. mutable values (due to problem with SICStus 4.7)
·
Oct 08, 2021
multi_param_type_classes
f96d299b
·
Fix PAKCS esternal definition for MultiParamTypeClasses
·
Aug 18, 2023