diff options
author | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
commit | 9df5ff6abc6e95c766d1907c5a9fee00730e749a (patch) | |
tree | 8614095c2c2a3a5cd195f9e6da53f47c88891381 /stdlib/source/specification/aedifex/repository.lux | |
parent | 8ebc505f1be8e103039d220b2d824dd687777f24 (diff) |
Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions