diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 16:39:19 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 16:39:19 +0200 |
| commit | a8eeb497670fb0f2ffab1f9b070808df965415be (patch) | |
| tree | 5f169893da63183df272b0d281b5eaf5857ed955 /src/server/exec/MorphoService.hs | |
| parent | a4c19875ed4a97671d17d6d6f062b465ae1f87a6 (diff) | |
the linearizer API now allows to detect metavariables. This is used for instancein the lookup where the tokens produced from the metavariables are interpreted as distinct from all other tokens.
Diffstat (limited to 'src/server/exec/MorphoService.hs')
0 files changed, 0 insertions, 0 deletions