These are chat archives for symengine/symengine

6th
Apr 2015
Aaron Meurer
@asmeurer
Apr 06 2015 14:53
Interesting post on pattern matching in C++ and some other languages http://phdp.github.io/posts/2015-04-05-automated-reasoning.html