diff options
| author | Thomas Bauereiss | 2018-05-04 17:44:07 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-09 14:19:57 +0100 |
| commit | c3f3642dfa5647685ae3dea86beeef8abc27f026 (patch) | |
| tree | fdb90562b5a4c194c97a764eabe607d1fd9a02c5 /test/builtins | |
| parent | 9fea45722d58132cc484d9421fb3407286dc4f01 (diff) | |
Support short-circuiting of Boolean expressions in Lem
Diffstat (limited to 'test/builtins')
0 files changed, 0 insertions, 0 deletions