The ATS PL System Wiki

Unleashing the potentials of types and templates

Status: Beta

Brought to you by: ats-hwxi

Typechecker Types Log in to Edit

Authors:

S2Etop (0; T) means T?
S2Etop (1; T) means T?!

Discussion

Anonymous