Contents

node count(init: int; reset, event: bool) returns (c: int);
let
	c = init -> if reset then init
					else if event then pre(c)+1
					else pre(c);
tel;

Version data entries

38 entries across 38 versions & 2 rubygems

Version	Path
rouge-4.5.1	lib/rouge/demos/lustre
rouge-4.5.0	lib/rouge/demos/lustre
rouge-4.4.0	lib/rouge/demos/lustre
rouge-4.3.0	lib/rouge/demos/lustre
rouge-4.2.1	lib/rouge/demos/lustre
rouge-4.2.0	lib/rouge/demos/lustre
rouge-4.1.3	lib/rouge/demos/lustre
rouge-4.1.2	lib/rouge/demos/lustre
rouge-4.1.1	lib/rouge/demos/lustre
mumukit-content-type-1.12.1	vendor/bundle/ruby/2.7.0/gems/rouge-3.30.0/lib/rouge/demos/lustre
mumukit-content-type-1.12.0	vendor/bundle/ruby/2.7.0/gems/rouge-3.30.0/lib/rouge/demos/lustre
rouge-4.1.0	lib/rouge/demos/lustre
rouge-4.0.1	lib/rouge/demos/lustre
rouge-4.0.0	lib/rouge/demos/lustre
rouge-3.30.0	lib/rouge/demos/lustre
rouge-3.29.0	lib/rouge/demos/lustre
rouge-3.28.0	lib/rouge/demos/lustre
rouge-3.27.0	lib/rouge/demos/lustre
rouge-3.26.1	lib/rouge/demos/lustre
mumukit-content-type-1.11.1	vendor/bundle/ruby/2.6.0/gems/rouge-3.26.0/lib/rouge/demos/lustre