diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2020-11-29 15:03:08 +0100 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2021-07-12 15:53:49 +0800 |
| commit | b3881570c78cfc4596b64b9ef03463f6b74f1b19 (patch) | |
| tree | e70b0444bb2cc8aa5bb1270ee24a1f36991eb3b0 /src/runtime/java/org/grammaticalframework | |
| parent | bd270b05ff92b15c15d5dfebd52576d0e15d0b04 (diff) | |
Remove last traces of the Either in value2term
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions