reform 0.1.0

A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace.
Documentation 
1
2
3
4
5
6
7

expr F = f(x, y);

attrib f = Linear;

apply {
    id f(x1?,x2?) = f(x1?+2,x2?+5);
}