currypp merge requestshttps://git.ps.informatik.uni-kiel.de/curry-packages/currypp/-/merge_requests2020-12-14T13:10:08Zhttps://git.ps.informatik.uni-kiel.de/curry-packages/currypp/-/merge_requests/2Migrate to version 32020-12-14T13:10:08ZFredrik WieczerkowskiMigrate to version 3The branch applies the remaining fixes to make the project build successfully on version 3.The branch applies the remaining fixes to make the project build successfully on version 3.https://git.ps.informatik.uni-kiel.de/curry-packages/currypp/-/merge_requests/1Merge version 3 changes2020-12-08T18:10:04ZFredrik WieczerkowskiMerge version 3 changesIntegrate the version 3 changes with recent changes from `master`.
Blocked on:
* `finite-map` not being updated for version 3
Todo:
* Replace `showInt`/`showFloat`/... with `show` from the `Show` class
* Make sure that otherwise the co...Integrate the version 3 changes with recent changes from `master`.
Blocked on:
* `finite-map` not being updated for version 3
Todo:
* Replace `showInt`/`showFloat`/... with `show` from the `Show` class
* Make sure that otherwise the correct version 3 functions are generated