repr 0.7.0

The regular-expression-as-linear-logic interpretation and its implementation
Documentation