JossWhittle · August 10, 2012 01:35
diff --git a/Buff b/Buff
 BUFF = (in[i:0..3] -> out[i] -> BUFF).

 The same as saying...

 BUFF = (in[0] -> out[0] -> BUFF
      | in[1] -> out[1] -> BUFF
      | in[2] -> out[2] -> BUFF
      | in[3] -> out[3] -> BUFF).

 Or you can use input parameters...

 BUFF (N = 3) = (in[i:0..N] -> out[i] -> BUFF).
diff --git a/Coin b/Coin
 COIN = (toss -> HEADS | toss -> TAILS),
 HEADS = (heads -> HEADS),
 TAILS = (tails -> TAILS).
diff --git a/Count b/Count
 COUNT (N = 3) = COUNT[0],
 COUNT[i:0..N] = (when (i < N) inc -> COUNT[i + 1]
               | when (i > 0) dec -> COUNT[i - 1]).
diff --git a/Drinks b/Drinks
 DRINKS = (red -> coffee -> DRINKS | blue -> tea -> DRINKS).

 Trace: red->coffee->red->coffee->blue->tea->red->coffee->blue->tea->...
diff --git a/InOut b/InOut
 CHAN = (in -> CHAN | in -> out -> CHAN).
diff --git a/LightSwitch b/LightSwitch
 SWITCH = OFF,
 OFF = (on -> ON),
 ON  = (off -> OFF).

 Or alternatively...

 SWITCH = (on -> off -> SWITCH).
diff --git a/LightSwitchTrace b/LightSwitchTrace
 on->off->on->off->on->off->...
diff --git a/Oneshot b/Oneshot
 CS-116 Notation:

 oneshot = once.0

 FSP Notation:

 oneshot = (once -> STOP).
diff --git a/Sum b/Sum
 const N = 1
 range T = 0..N
 range R = 0..2*N

 SUM = (in[a:T][b:T] -> TOTAL[a+b]),
 TOTAL[s:R] = (out[s] -> SUM).
	BUFF = (in[i:0..3] -> out[i] -> BUFF).

	The same as saying...

	BUFF = (in[0] -> out[0] -> BUFF
	\| in[1] -> out[1] -> BUFF
	\| in[2] -> out[2] -> BUFF
	\| in[3] -> out[3] -> BUFF).

	Or you can use input parameters...

	BUFF (N = 3) = (in[i:0..N] -> out[i] -> BUFF).
	DRINKS = (red -> coffee -> DRINKS \| blue -> tea -> DRINKS).

	Trace: red->coffee->red->coffee->blue->tea->red->coffee->blue->tea->...