diff options
author | Josh Chen | 2020-05-30 18:29:11 +0200 |
---|---|---|
committer | Josh Chen | 2020-05-30 18:29:11 +0200 |
commit | 68bbcdcca00ae85dcaeae3ba7858dff1aa4802a6 (patch) | |
tree | 94678c24c0e6e7eeb41cb85f9053cd03c4d1b697 /ROOT | |
parent | 2e807b74bd0f4e9a2ccfcb861bef876dba5aa066 (diff) |
inhabitation coercion should be syntax, not logical constant!
Diffstat (limited to 'ROOT')
0 files changed, 0 insertions, 0 deletions