diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-04-03 00:46:32 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-04-03 00:48:40 -0700 |
| commit | 1c1889172ef8f7f14fe0c28daaddf4117cafd567 (patch) | |
| tree | 0d43ff114995bdbe01048cbbf747419f7965b831 /lambda-to-mu.mu | |
| parent | 89672f8680f372ec05429770f54786597829d4ce (diff) | |
| download | mu-1c1889172ef8f7f14fe0c28daaddf4117cafd567.tar.gz | |
5053
write-stream-buffered isn't a clean abstraction. Ignoring the 'read' index of a stream is a hack. It's just saving us the trouble of a rewind-stream. So make it a helper of pack.subx rather than part of the standard library.
Diffstat (limited to 'lambda-to-mu.mu')
0 files changed, 0 insertions, 0 deletions