Snippets by Arets Paeglis

Language	Title	Created	Visibility
Julia	Hybrid sleep		Public
ATS	Borrowing internal pointers in ATS		Public
ATS	Fibonacci (proofs + loop)		Public
Java	s2hmmss		Public
Haskell	Singleton type example		Public
Idris	Dependent type example		Public
ATS	Newton-Raphson square root		Public
ATS	Random numbers		Public
ATS	Substrings		Public
ATS	List of strings to string		Public
ATS	Queue		Public
ATS	Nested loops		Public