UNPKG

atscntrb-hx-mysession-g

Version:

This package is for experimenting with MP session types

3 files

	Filename	Content Type	Size
	../
	basis_intset.sats	application/octet-stream	4.04 kB
	basis_ssntype.sats	application/octet-stream	5.62 kB
	basis_ssntype2r.sats	application/octet-stream	1.64 kB