rlipsc

# Goal Currently threading systems requires the user to explicitly write thread synchronisation. This is inflexible and error prone, and requires human effort. Since Polymorph assures state operations are known...