diff options
| author | Pierre-Marie Pédrot | 2017-07-28 15:23:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-28 17:08:28 +0200 |
| commit | 4b863ed5a4c9545ecfd25dc22a83edd3c47aab80 (patch) | |
| tree | 5f322a29ef365c476ce19d3f3102dad23d98c1b0 /src/ltac2_plugin.mlpack | |
| parent | 86e7ec3bd7b26b1d377c8397b62346f5e44f5d87 (diff) | |
Allowing generic patterns in let-bindings.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions