3 ms·

but as usual, it's optional.

• agumonkey 9y ago
  such is life, especially in dynlangs, things got added, it's already cool that it's known and works finely as it is. maybe one day domains, limits and code/proofs will be a single entity in source