├── .gitignore ├── Examples ├── AssemblyInfo.fs ├── Dining.fs ├── Examples.fsproj ├── GuardedCh.fs ├── GuardedCh.fsi ├── IVar.fs ├── IVar.fsi ├── Join.fs ├── Latch.fs ├── Latch.fsi ├── Lottery.fs ├── Lottery.fsi ├── MVar.fs ├── MVar.fsi ├── Program.fs ├── Server.fs ├── Server.fsi ├── Swap3.fs ├── Swap3.fsi ├── Swap3WithLatch.fs ├── Swap3WithLatch.fsi ├── Unique.fs ├── Unique.fsi ├── Util.fs └── packages.config ├── JoinCML.sln ├── JoinCML ├── AssemblyInfo.fs ├── Convenience.fs ├── Convenience.fsi ├── JoinCML.fs ├── JoinCML.fsi ├── JoinCML.fsproj └── packages.config └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/.gitignore -------------------------------------------------------------------------------- /Examples/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/AssemblyInfo.fs -------------------------------------------------------------------------------- /Examples/Dining.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Dining.fs -------------------------------------------------------------------------------- /Examples/Examples.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Examples.fsproj -------------------------------------------------------------------------------- /Examples/GuardedCh.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/GuardedCh.fs -------------------------------------------------------------------------------- /Examples/GuardedCh.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/GuardedCh.fsi -------------------------------------------------------------------------------- /Examples/IVar.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/IVar.fs -------------------------------------------------------------------------------- /Examples/IVar.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/IVar.fsi -------------------------------------------------------------------------------- /Examples/Join.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Join.fs -------------------------------------------------------------------------------- /Examples/Latch.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Latch.fs -------------------------------------------------------------------------------- /Examples/Latch.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Latch.fsi -------------------------------------------------------------------------------- /Examples/Lottery.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Lottery.fs -------------------------------------------------------------------------------- /Examples/Lottery.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Lottery.fsi -------------------------------------------------------------------------------- /Examples/MVar.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/MVar.fs -------------------------------------------------------------------------------- /Examples/MVar.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/MVar.fsi -------------------------------------------------------------------------------- /Examples/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Program.fs -------------------------------------------------------------------------------- /Examples/Server.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Server.fs -------------------------------------------------------------------------------- /Examples/Server.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Server.fsi -------------------------------------------------------------------------------- /Examples/Swap3.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Swap3.fs -------------------------------------------------------------------------------- /Examples/Swap3.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Swap3.fsi -------------------------------------------------------------------------------- /Examples/Swap3WithLatch.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Swap3WithLatch.fs -------------------------------------------------------------------------------- /Examples/Swap3WithLatch.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Swap3WithLatch.fsi -------------------------------------------------------------------------------- /Examples/Unique.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Unique.fs -------------------------------------------------------------------------------- /Examples/Unique.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Unique.fsi -------------------------------------------------------------------------------- /Examples/Util.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/Util.fs -------------------------------------------------------------------------------- /Examples/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/Examples/packages.config -------------------------------------------------------------------------------- /JoinCML.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML.sln -------------------------------------------------------------------------------- /JoinCML/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/AssemblyInfo.fs -------------------------------------------------------------------------------- /JoinCML/Convenience.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/Convenience.fs -------------------------------------------------------------------------------- /JoinCML/Convenience.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/Convenience.fsi -------------------------------------------------------------------------------- /JoinCML/JoinCML.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/JoinCML.fs -------------------------------------------------------------------------------- /JoinCML/JoinCML.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/JoinCML.fsi -------------------------------------------------------------------------------- /JoinCML/JoinCML.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/JoinCML.fsproj -------------------------------------------------------------------------------- /JoinCML/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/JoinCML/packages.config -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/JoinCML/HEAD/README.md --------------------------------------------------------------------------------