UNPKG

atscntrb-hx-mysession-2

Version:

This package is for experimenting with session types

6 files

	Filename	Content Type	Size
	../
	array.dats	application/octet-stream	3.15 kB
	basis_chan0.dats	application/octet-stream	2.43 kB
	basis_ssntyp.dats	application/octet-stream	4.29 kB
	basis_uchan.dats	application/octet-stream	10.6 kB
	co-list.dats	application/octet-stream	1.41 kB
	list.dats	application/octet-stream	3.26 kB