repr 0.8.0

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