0.3.2 version as demoed in the formal meta-theory workshop

Next version will be 0.4.1