v1.5.0

valis released this 09 Oct 19:49

· 880 commits to master since this release

2d7b69c

Debug metas (println, random, time)
Congruence closure
Insertion and tree sort functions
Meta mcases

Assets 3