ATS

  • Euler's Totient Function in ATS

    by Vanessa McHale | ATS

    Here I present two ways to write Euler's totient function in ATS. First we write our primality check:

  • Speeding up Math With ATS

    by Vanessa McHale | ATS

    I started work on my ATS math library recently; though I'm not sure it will be a wholehearted success, there were parts that deserve attention.

  • Linear Types in ATS

    by Vanessa McHale | ATS

    Like my last post on ATS , this is far from a full-fledged tutorial, but I think it will nonetheless be instructive to students of ATS.