tools and libs update to master (was typeclasses) branch

8cb52b1d · Michael Hanus · 4afc23e2 · 5e581220 · 4a454532 · 5e581220
Commit 8cb52b1d authored Oct 18, 2017 by Michael Hanus
--- a/currytools @ 5e581220
+++ b/currytools @ 5e581220
-Subproject commit 4a45453283a22c69e55e45243c5e8eca6555ba58
+Subproject commit 5e581220c3130db8a4a9c079206ee3bb2b0a2799
--- a/lib-trunk @ 7fa8514f
+++ b/lib-trunk @ 7fa8514f
-Subproject commit 55c120401e5b37ca02c89dd9d6d79b7268a518f3
+Subproject commit 7fa8514f5f263a8287ad7b0807c1a11a633ed549