Skip to content
GitLab
Explore
Sign in
Register
curry
kics2
Repository
Branches
Overview
Active
Stale
All
master
default
457f0538
·
Add cleantools to Makefile
·
Apr 12, 2024
ninja
f089b1ad
·
Let individual module builds depend on hs files and use custom cwd
·
Sep 05, 2022
runtime-lib-cabal-cleanup
39093940
·
Update tree-monad dependency
·
Jul 14, 2022
!17
unvendor-frontend-exec
8fd9a1fe
·
Set frontend outdir explicitly in REPL
·
Mar 03, 2022
!15
cleanup
dae352f1
·
Clean up more unused imports
·
Mar 02, 2022
!14
runtime-kics2home
26a0e81d
·
Remove ghcExec from Installation.curry
·
Jun 07, 2021
rewrite-context-generation
6446ffd1
·
Rewrite context generation to be more concise and correct
·
Mar 26, 2021
bootstrap
9672d7fc
·
Fix typo
·
Mar 22, 2021
ghc-envs
06f5eb8f
·
WIP: Add CPM targets
·
Mar 13, 2021
fix-newtype-generation
9498cdbf
·
Generate Curry instances for newtypes
·
Mar 08, 2021
version3-legacy
5e49f102
·
Fix copy paste error
·
Feb 13, 2020
release/0.6.x
2ed7c8ce
·
References in manual corrected
·
Oct 17, 2018
typeclasses
d538c5fc
·
Executable cpm renamed to cypm
·
Oct 20, 2017
residuation
badb4f20
·
Remove talks about residuation (these have been extracted)
·
Feb 11, 2016
sad/MockIt
344f9fe6
·
Seperate type class checks and transformation (the order remains the same, but...
·
May 20, 2015
sad/typeclasses
344f9fe6
·
Seperate type class checks and transformation (the order remains the same, but...
·
May 20, 2015
constraints
00a9ee15
·
Updated submodules
·
Mar 27, 2015
sad/master
d894cd17
·
Update changelogs and relase notes
·
Dec 09, 2014
bho/master
25e0caf7
·
Remove some parallel strategies
·
Aug 11, 2014
newConstraints
2c1ddec7
·
Updated submodules
·
Jul 23, 2014
Prev
1
2
Next