diff options
| author | Adrian Kummerlaender | 2015-01-26 19:19:45 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-26 19:19:45 +0100 |
| commit | 27b991ea23f71093b274b3ff1692c47274eb4d1d (patch) | |
| tree | 10c4d4243087441484d57dddd3cefcd3888152f9 /example | |
| parent | 7ce93ff513a993b8b46fbb401b232d6f557b948b (diff) | |
| download | TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.gz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.bz2 TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.lz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.xz TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.tar.zst TypeAsValue-27b991ea23f71093b274b3ff1692c47274eb4d1d.zip | |
Redefined `Length` in terms of `Apply` and `Fold`
* this function illustrates the use case `Apply` is currently intended for
* moved `Take` and `Nth` into separate files to resolve header resolution conflicts
Diffstat (limited to 'example')
0 files changed, 0 insertions, 0 deletions