annotate arrows/const.m @ 6:0ce3c2070089

Removed duplicate code and fixed doc in timed_action.
author samer
date Mon, 14 Jan 2013 14:33:37 +0000
parents 672052bd81f8
children
rev   line source
samer@0 1 % const - arrow that always produces a constant value
samer@0 2 %
samer@0 3 % const :: A -> arrow({},{A},empty).
samer@0 4 function a=const(x), a=arr(@()x);