aboutsummaryrefslogtreecommitdiff
path: root/example/turing/src
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-01-18 17:31:20 +0100
committerAdrian Kummerlaender2015-01-18 17:31:20 +0100
commitffe8e376086cddda8bb7ca37b02a48f67cbe513d (patch)
tree7035604330ed0721933dcd0d9f6c25b99658b017 /example/turing/src
parent7574e3836eec13e6f632b811e6bf001f2e3d2a1d (diff)
downloadTypeAsValue-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