Public Snippets

Language	Title	Created	Owner
ATS	Quantification over Session Types		steinwaywhw
ATS	stacst v.s. datasort		steinwaywhw
ATS	For Debugging 0+1 != 1		steinwaywhw
ATS	Parallel Tensor in the Style of Abramsky, Bellin,		steinwaywhw
ATS	Parallel Tensor		steinwaywhw
ATS	Newton-Raphson square root		Arets Paeglis
ATS	Random numbers		Arets Paeglis
ATS	Substrings		Arets Paeglis
ATS	List of strings to string		Arets Paeglis
ATS	Queue		Arets Paeglis
ATS	Nested loops		Arets Paeglis
ATS	propositional logic		alex.ren2006
ATS	ATS case- with guard error		steinwaywhw
ATS	Answer to StackOverflow Question 1		steinwaywhw
ATS	Recursive Type SegFault		steinwaywhw
ATS	Demo of Global Counter		steinwaywhw
ATS	Union/Find		steinwaywhw
ATS	ATS Pointers and References		steinwaywhw
ATS	Bug: Template and Tail-call Optimization		steinwaywhw
ATS	Compare/Print Addresses		steinwaywhw