Commit 3234a123 authored by Michael Hanus 's avatar Michael Hanus

Merge branch 'master' of...

Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/javascript into typeclasses
parents 766ba086 ac3b89dc
Pipeline #421 failed with stages