Public Snippets

Language	Title	Created	Owner
ATS	无标题		out
ATS	22.json		cefiro
ATS	Polymorphic Sessions		steinwaywhw
ATS	ATS streams intro		perry.hart7
ATS	ATS Streams Notes		steinwaywhw
ATS	Pass array to function by reference		rightfold
ATS	Templates and Closures in ATS		steinwaywhw
ATS	Functor Type Class with Slightly More Complex Inst		steinwaywhw
ATS	Monad Type Class in ATS		steinwaywhw
ATS	Functor Type Class in ATS		steinwaywhw
ATS	DataViewType Example		steinwaywhw
ATS	Demo Templates with Data Sort		steinwaywhw
ATS	Demo Polarized Protocol		steinwaywhw
ATS	Demo Linear States		steinwaywhw
ATS	Demo Dependent Types		steinwaywhw
ATS	Demo Linear Types		steinwaywhw
ATS	Binary Dependent Session Types		steinwaywhw
ATS	Borrowing internal pointers in ATS		Arets Paeglis
ATS	Fibonacci (proofs + loop)		Arets Paeglis
ATS	Compile Error, Poly Session		steinwaywhw