StackOverflow Questions for Tag: ats

toastal

Reputation: 1073

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

ats

Score: 0

Answers: 2

Amber

Reputation: 275

How do I draw ascii art in ATS?

ats

Score: 1

Answers: 1

bbarker

Reputation: 13138

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

makefileats

Score: 1

Answers: 1

Eben Kadile

Reputation: 779

ATS - datatype declaration parametrized by `int` sort

typesats

Score: 1

Answers: 1

Poscat

Reputation: 583

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

syntaxats

Score: 2

Answers: 1

vero

Reputation: 243

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

if-statementtheorem-provingats

Score: 3

Answers: 1

Khatry

Reputation: 37

ATS. How to compile non void function?

ats

Score: 1

Answers: 1

Eben Kadile

Reputation: 779

ATS - What is the constraint C3NSTRprop(C3TKmain(); S2Eeqeq(S2Eintinf(0); S2Evar(abc(4303)))) referring to?

atsproof-of-correctness

Score: 3

Answers: 2

vero

Reputation: 243

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

ats

Score: 0

Answers: 1

vero

Reputation: 243

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

ats

Score: 1

Answers: 1

antoyo

Reputation: 11933

PMVtmpltcstmat, atstype_undefined undeclared

ats

Score: 1

Answers: 1

user7042412

Reputation:

What is the meaning of lam@ in ATS?

ats

Score: 3

Answers: 1

antoyo

Reputation: 11933

Declare mutually recursive types

ats

Score: 1

Answers: 1

antoyo

Reputation: 11933

Specify the ABI of a function

ats

Score: 1

Answers: 0

user7042412

Reputation:

How to allocate a closure-function on the call stack?

ats

Score: 4

Answers: 1

antoyo

Reputation: 11933

Allocate datatype on the stack

ats

Score: 1

Answers: 0

antoyo

Reputation: 11933

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

ats

Score: 1

Answers: 2

Zegalur

Reputation: 41

Proof function for an elementary statement about multiplication

proofats

Score: 1

Answers: 1

Julian Fondren

Reputation: 5609

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

ats

Score: 0

Answers: 1

Julian Fondren

Reputation: 5609

What types are expected from stacked dot notation?

ats

Score: 0

Answers: 1

PreviousPage 1Next

StackOverflow Questions for Tag: ats

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 &#39;x.o&#39;.` for some x?

ATS - datatype declaration parametrized by `int` sort

What does :&lt;&gt; (colon less-than greater-than) mean in ats

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

ATS. How to compile non void function?

ATS - What is the constraint C3NSTRprop(C3TKmain(); S2Eeqeq(S2Eintinf(0); S2Evar(abc(4303)))) referring to?

Why can&#39;t I call the second half of a mutually recursive function that&#39;s defined locally?

Why can&#39;t generic function templates use fnx to ensure they are tail-recursive?

PMVtmpltcstmat, atstype_undefined undeclared

What is the meaning of lam@ in ATS?

Declare mutually recursive types

Specify the ABI of a function

How to allocate a closure-function on the call stack?

Allocate datatype on the stack

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

Proof function for an elementary statement about multiplication

What is the lifetime of a struct received from a free&#39;d linear object?

What types are expected from stacked dot notation?

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

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?

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