Skip to content

GitLab

Explore

Sign in
Register

curry
kics2

K

kics2

Project information

KiCS2: The Kiel Curry System v.2

2,795 Commits
22 Branches
6 Tags

README
LICENSE

Created on

January 18, 2016

Copy SSH clone URLssh://git@git.ps.informatik.uni-kiel.de:55055/curry/kics2.git
Copy HTTPS clone URLhttps://git.ps.informatik.uni-kiel.de/curry/kics2.git