-
Michael Hanus authored
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/chr-curry into typeclasses
9691d56f
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/chr-curry into typeclasses