UNPKG

atscntrb-hx-mysession-2

Version:

This package is for experimenting with session types

4 files

	Filename	Content Type	Size
	../
	array.sats	application/octet-stream	1.46 kB
	basis.sats	application/octet-stream	1.67 kB
	co-list.sats	application/octet-stream	762 B
	list.sats	application/octet-stream	1.02 kB