Public Snippets

Language	Title	Created	Owner
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
ATS	Memo with Template		steinwaywhw
ATS	Memorization with ATS		steinwaywhw
ATS	ATS Option Type Example		steinwaywhw
ATS	ATS Reference Type Example		steinwaywhw
ATS	ATS Lazy Stream Demo		steinwaywhw
ATS	Regular Exp		steinwaywhw
ATS	NFA simulator based on regex type derivatives		artyom.shalkhakov
ATS	Admissibility of Cut for Intuitionistic Logic		steinwaywhw
ATS	Hello World		steinwaywhw