What is S2Etop(knd=0; …)? How do I get my proof value out of this top-level realm?...

How do I draw ascii art in ATS?...

What is causing the error `make: Nothing to be done for 'x.o'.` for some x?...

What does :<> (colon less-than greater-than) mean in ats...

ATS Proof: Why does this static if need greater than or equal to?...

ATS - What is the constraint C3NSTRprop(C3TKmain(); S2Eeqeq(S2Eintinf(0); S2Evar(abc(4303)))) referr...

Why can't I call the second half of a mutually recursive function that's defined locally?...

Why can't generic function templates use fnx to ensure they are tail-recursive?...

Declare mutually recursive types...

Prove that if string_is_prefix returns true, then the string has a length as big as the prefix...

What is the lifetime of a struct received from a free'd linear object?...

What types are expected from stacked dot notation?...

How should strings from libraries hostile to BoehmGC be used?...

Is there any difference in expressiveness between an extern praxi and an extern castfn?...

How can I get refer to the statically known size and type of a literal array?...

How to solve undefined reference to dynloadflag?...

Why does this template work in a single file but not across files?...

How do you replace static assertions with prfuns?...

How do you create a map or hashtable with a datatype value?...

How do you pattern-match against negative 1?...

Implementing getenv() in ATS...

How to consume (or iterate over) an array in ATS...

Compiler Friendly Tail Recursion + Tail Recursion Checking in ATS...

How to flush stdout in ATS...

How should you perform simple read-only string operations against linear-typed strings?...

Dependent types over datatypes...

How do I prove that c-'a' is within [0,26)?...

How can I measure the time taken to execute a function call in ATS?...

How do you loop over the indexes of a string?...

How are strings freed in ATS2?...