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
8
9
10
11
12
13
14
15
16
17
18

expr F1 = x;
expr F2 = y;

apply m1 {
  id x = x + y;
}

apply {
  id y = y + 1;
}

apply m2 for F2 {
  id y = 3;
}

apply m3 exclude F2 {
  id x = 3;
}