Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (1 sloc) 103 Bytes
# For the purpose of runtime optimizer we define messages as functions mapping state(n) to state(n+1)