Skip to content

GitLab

Explore

Sign in
Register

C

curry-tools

Project information

Tools for Curry that are used in PAKCS and KiCS2

717 Commits
6 Branches
10 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

January 18, 2016

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

Loading