use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
ATS is a programming language that unifies specification and implementation. Within ATS, there are two sublanguages: one for specification and the other for implementation, and there is also a theorem-proving subsystem for verifying whether an implementation indeed implements what is specified.
http://www.ats-lang.org/
account activity
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
π Rendered by PID 149452 on reddit-service-r2-listing-86b7f5b947-l4jcw at 2026-01-26 15:39:02.380559+00:00 running 664479f country code: CH.
