diff options
author | Eduardo Julian | 2022-10-23 19:10:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-10-23 19:10:49 -0400 |
commit | 2fce6d44e0b4ada7ea270ff9a890504edbf8e3a3 (patch) | |
tree | 7fa035dd99c38400a354d61afb866bca1f4f8a2c /documentation/bookmark/type_theory/sub_structural.md | |
parent | 8c63a525089597af1f9282c76daf97bf2b6058e0 (diff) |
New Delay type with associated constants + compile-time warning for undefined computations.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions