diff options
| author | Brian Campbell | 2017-09-20 17:51:44 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-09-20 17:51:44 +0100 |
| commit | 1abb954ad0c6d0a9e673ee98d01226d104297fcd (patch) | |
| tree | 5433e2d9b34efab2bf508cc0322721bb24133ab0 /language/primitive_doc.ott | |
| parent | fbf3fd6041003344be863e6d3f72f782fb3c011e (diff) | |
Handle let (exists 't...[:'t:]) 't = lit in mono
Diffstat (limited to 'language/primitive_doc.ott')
0 files changed, 0 insertions, 0 deletions