UNPKG

atscntrb-hx-mysession-g

Version:

This package is for experimenting with MP session types

5 files

	Filename	Content Type	Size
	../
	basis_channel0.dats	application/octet-stream	7.69 kB
	basis_channel1.dats	application/octet-stream	5.97 kB
	basis_intset.dats	application/octet-stream	5.44 kB
	basis_ssntype2r.dats	application/octet-stream	2.45 kB
	basis_uchan.dats	application/octet-stream	10.4 kB