curry-base tags
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v1.1.1
v1.1.1
v1.1.1
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v1.1.0
v1.1.0
Finn Teegen
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v1.0.0
v1.0.0
Mike Gabriel
mike.gabriel@das-netzwerkteam.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.4.2
v0.4.2
Version 0.4.2
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.4.1
v0.4.1
Version 0.4.1
Michael Hanus
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.10
v0.3.10
Version 0.3.10
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.9
v0.3.9
Version 0.3.9
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/prototype-4
prototype-4
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/working-version-1-without-Numeric-classes
working-version-1-without-Numeric-classes
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/working-version-2-without-numeric-classes
working-version-2-without-numeric-classes
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.5
v0.3.5
Version 0.3.5
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.4
v0.3.4
Version 0.3.4
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.8
v0.3.8
Version 0.3.8
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/thirdPrototype
thirdPrototype
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/secondPrototype
secondPrototype
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/firstVerticalPrototype
firstVerticalPrototype
Matthias Böhm
mboe@informatik.uni-kiel.de
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.7
v0.3.7
Version 0.3.7
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.6
v0.3.6
Version 0.3.6
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/0.3.5
0.3.5
Version 0.3.5
Björn Peemöller
https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/tags/v0.3.3
v0.3.3
Version 0.3.3
Björn Peemöller