Please refer to http://www-ps.informatik.uni-kiel.de/kics2/GITINSTALL.html and https://git-ps.informatik.uni-kiel.de/curry/kics2/ instead of this repository
-
Notifications
You must be signed in to change notification settings - Fork 1
Abandoned for the time beng; see the website
erikkaplun/curry-kics2
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Abandoned for the time beng; see the website
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published