-
Michael Hanus authored
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/wui into typeclasses
0f9f4222
Analyzing file…
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/wui into typeclasses