diff options
| author | Adrian Kummerlaender | 2015-01-18 17:31:20 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-01-18 17:31:20 +0100 |
| commit | ffe8e376086cddda8bb7ca37b02a48f67cbe513d (patch) | |
| tree | 7035604330ed0721933dcd0d9f6c25b99658b017 /example/turing/src | |
| parent | 7574e3836eec13e6f632b811e6bf001f2e3d2a1d (diff) | |
| download | TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar.gz TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar.bz2 TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar.lz TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar.xz TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.tar.zst TypeAsValue-ffe8e376086cddda8bb7ca37b02a48f67cbe513d.zip | |
Reimplemented `Length` function in terms of `Fold`
* this removes the need for maintaining a partial overload of `Length`
* the recursive traversion of the _Cons_ structure is now implemented by `Fold` instead of needlessly duplicating it
Diffstat (limited to 'example/turing/src')
0 files changed, 0 insertions, 0 deletions