diff options
| author | Eduardo Julian | 2019-05-01 22:33:17 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-05-01 22:33:17 -0400 |
| commit | b52409599fc5e93ad20e1aa61e44b75f5d6d2789 (patch) | |
| tree | db39a8208b316c0e47d9d0fffce12108e2e7b82a /stdlib/source | |
| parent | 868c300ada4095e0e32ad4495b61aed02b23bfc0 (diff) | |
Now inlining the pattern-matching POP and PEEK operations.
Diffstat (limited to 'stdlib/source')
0 files changed, 0 insertions, 0 deletions