Skip to content
GitLab
Explore
Sign in
Register
Pascal Stücker
curry-libs
Repository
Branches
Overview
Active
Stale
All
master
default
47b70b7d
·
Add hSetBinaryMode to allow binary IO
·
Jun 02, 2018
libs_refactor
0517c144
·
Merge branch 'master' into libs_refactor
·
Jan 20, 2018
release/1.x
c7fbcf3a
·
Test.Prop.<=> added
·
Dec 05, 2017
typeclasses
55c12040
·
Assertion, CSV, Parser, RegExp removed
·
Oct 18, 2017
sad/typeclass-newAbstract
44401cbd
·
Adapt AbstractCurry types to frontend representation (add type class specific elements)
·
May 22, 2015
constraints
dad4d07d
·
Adapted Makefile for global installation of CLPFD2 library
·
Mar 27, 2015
sad/master
baa0dd29
·
Merge branch 'typeclasses' into master
·
Dec 09, 2014
bho/kics2
fc7c02b2
·
Remove some parallel strategies
·
Aug 11, 2014
newConstraints
bbdf3b20
·
Merge remote-tracking branch 'origin' into newConstraints
·
Jul 21, 2014
mboe/kics2_typeclasses
aa3ebfde
·
in External_Prelude.hs: deactivate duplicate exports warning because d_OP_lt...
·
Oct 18, 2013
residuation
08d62600
·
Implementation of ensureNotFree
·
Apr 30, 2013