Public Snippets

Language	Title	Created	Owner
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