A computation represented by a function from an initial program state to a result and a final program state. Its sequencing passes each output program state to the next computation.
New to topics? Read the docs here!
New to topics? Read the docs here!